Output details
11 - Computer Science and Informatics
Swansea University
Output title
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Type
E - Conference contribution
Name of conference/published proceedings
Hardware and Software: Verification and Testing
Volume number
7261
Issue number
-
First page of article
50
ISSN of proceedings
0302-9743
Year of publication
2011
URL
-
Number of additional authors
3
Additional information
<11> A new approach not only for distributed SAT solving, but also for SAT solving in general. The paper shows that combining look-ahead and conflict-driven SAT solvers in a novel way, many relevant SAT problems can be solved faster by orders of magnitude. Won the Best Paper Award at the conference (http://www.cs.swan.ac.uk/~csoliver/Artikel/HVC2011_award.pdf).
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
