Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Conference Paper
(2012)
Author(s)
MJH Heule (TU Delft - Electrical Engineering, Mathematics and Computer Science)
O Kullmann (External organisation)
S. Wieringa (External organisation)
A Biere (External organisation)
Research Group
Algorithmics
To reference this document use
https://resolver.tudelft.nl/uuid:156f2817-dc59-44cb-af74-db9edc813fd0
More Info
expand_more
expand_more
Publication Year
2012
Language
English
Research Group
Algorithmics
Pages (from-to)
50-65
Publisher
Springer
Event
Haifa Verification Conference 2011 (2011-12-06 - 2011-12-08), Berlin
Downloads counter
223
No files available
Metadata only record. There are no files for this record.