Concurrent Cube-and-Conquer (bibtex)
by P. van der Tak, M. Heule, A. Biere
Reference:
Concurrent Cube-and-ConquerP. van der Tak, M. Heule, A. BiereProc. of SAT Challenge 2012: Solver and Benchmark Descriptions (A. Balint, A. Belov, A. Diepold, S. Gerber, M. Järvisalo, C. Sinz, eds.), volume B-2012-2 of Department of Computer Science Series of Publications B, University of Helsinki, pages 15-16, 2012.
Bibtex Entry:
@inproceedings{TakHeuleBiere-SC2012,
title = {Concurrent Cube-and-Conquer},
url = {/pubpdf/Concurrent_Cube-and-Conquer.pdf},
series = {Department of Computer Science Series of Publications B, University
of Helsinki},
booktitle = {Proc.~of SAT Challenge 2012: Solver and Benchmark Descriptions},
author = {P. van der Tak and M. Heule and A. Biere},
volume = {B-2012-2},
editor = {A. Balint and A. Belov and A. Diepold and S. Gerber and M. J\"{a}rvisalo
and C. Sinz},
year = {2012},
pages = {15-16},
}
Powered by bibtexbrowser