Look-Ahead Based SAT Solvers
Book Chapter
(2009)
Author(s)
MJH Heule (TU Delft - Old - EWI Ch. Optimization Technology)
H van Maaren (TU Delft - Old - EWI Sect. Optimization Technology)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:7d17e383-43a8-48b4-b899-5b7b44891f53
More Info
expand_more
expand_more
Publication Year
2009
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
155-184
ISBN (print)
978-1-58603-929-5
No files available
Metadata only record. There are no files for this record.