Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

Reference:

Marijn J.H. Heule, Oliver Kullmann, Siert Wieringa, and Armin Biere. Cube and conquer: Guiding CDCL SAT solvers by lookaheads. In Haifa Verification Conference (HVC), Lecture Notes in Computer Science, pages 50–56, 2011.

Suggested BibTeX entry:

@inproceedings{HVC2011,
    author = {Marijn J.H. Heule and Oliver Kullmann and Siert Wieringa and Armin Biere},
    booktitle = {Haifa Verification Conference (HVC)},
    language = {eng},
    pages = {50-56},
    series = {Lecture Notes in Computer Science},
    title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads},
    year = {2011},
}