Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads (bibtex)
by M. Heule, O. Kullmann, S. Wieringa, A. Biere
Reference:
Cube and Conquer: Guiding CDCL SAT Solvers by LookaheadsM. Heule, O. Kullmann, S. Wieringa, A. BiereProc. 7th Intl. Haifa Verification Conference (HVC'11), volume 7261 of LNCS, pages 50-65, 2012, Springer.Note: \textbfBest paper award, reported 2011 too, now formally published
Bibtex Entry:
@inproceedings{HeuleKullmannWieringaBiere-HVC11,
publisher = {Springer},
note = {{\textbf{Best paper award}}, reported 2011 too, now formally published},
title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads},
url = {/pubpdf/Cube_and_Conquer__Guiding__CDCL___SAT__Solvers_by_Lookaheads.pdf},
series = {LNCS},
booktitle = {Proc.~7th Intl.~Haifa Verification Conference (HVC'11)},
author = {M. Heule and O. Kullmann and S. Wieringa and A. Biere},
volume = {7261},
year = {2012},
pages = {50-65},
}
Powered by bibtexbrowser