Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

MJH Heule; O Kullmann; S. Wieringa; A Biere

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

MJH Heule, O Kullmann, S. Wieringa, A Biere

Algorithmics

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

82 Citations (Scopus)

Original language	English
Title of host publication	Haifa Verification Conference 2011
Editors	sn
Place of Publication	Berlin
Publisher	Springer
Pages	50-65
Number of pages	16
Publication status	Published - 2012
Event	Haifa Verification Conference 2011 - Berlin Duration: 6 Dec 2011 → 8 Dec 2011

Publication series

Name
Publisher	Springer Verlag

Name	Lecture Notes in Computer Science
Volume	7261
ISSN (Print)	0302-9743

Conference

Conference	Haifa Verification Conference 2011
Period	6/12/11 → 8/12/11

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{156f2817dc5944cbaf74db9edc813fd0,

title = "Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads",

keywords = "Conf.proc. > 3 pag",

author = "MJH Heule and O Kullmann and S. Wieringa and A Biere",

year = "2012",

language = "English",

publisher = "Springer",

pages = "50--65",

editor = "sn",

booktitle = "Haifa Verification Conference 2011",

note = "Haifa Verification Conference 2011 ; Conference date: 06-12-2011 Through 08-12-2011",

}

TY - GEN

T1 - Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

AU - Heule, MJH

AU - Kullmann, O

AU - Wieringa, S.

AU - Biere, A

PY - 2012

Y1 - 2012

KW - Conf.proc. > 3 pag

UR - http://www.st.ewi.tudelft.nl/~marijn/publications/cube.pdf

M3 - Conference contribution

SP - 50

EP - 65

BT - Haifa Verification Conference 2011

A2 - sn, null

PB - Springer

CY - Berlin

T2 - Haifa Verification Conference 2011

Y2 - 6 December 2011 through 8 December 2011

ER -

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

Publication series

Conference

Keywords

Other files and links

Cite this