Concurrent Cube-and-Conquer (bibtex)
by Peter van der Tak, Marijn Heule, Armin Biere
Reference:
Concurrent Cube-and-ConquerPeter van der Tak, Marijn Heule, Armin BiereCoRR, volume abs/1402.4465, 2014.
Bibtex Entry:
@article{DBLP:journals/corr/TakHB14,
title = {Concurrent Cube-and-Conquer},
url = {http://arxiv.org/abs/1402.4465},
journal = {CoRR},
author = {Peter van der Tak and Marijn Heule and Armin Biere},
volume = {abs/1402.4465},
year = {2014},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
Powered by bibtexbrowser