@inproceedings{,
	author          = {Marijn J. H. Heule and Oliver Kullmann and Siert Wieringa and Armin Biere},
	title           = {Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads},
	booktitle       = {Haifa Verification Conference 2011},
	year            = {2012},
	volume          = {7261},
	series          = {Lecture Notes in Computer Science},
	pages           = {50-65},
	note            = {Best Paper Award},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/cube.pdf},
	project         = {SAT},
	group           = {ALG}
}