Blocked Clause Decomposition (bibtex)
by Marijn Heule, Armin Biere
Reference:
Blocked Clause DecompositionMarijn Heule, Armin BiereLPAR, volume 8312 of LNCS, pages 423-438, 2013, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/lpar/HeuleB13,
publisher = {Springer},
title = {Blocked Clause Decomposition},
url = {/pubpdf/Blocked_Clause_Decomposition.pdf},
series = {LNCS},
booktitle = {LPAR},
author = {Marijn Heule and Armin Biere},
volume = {8312},
year = {2013},
pages = {423-438},
}
Powered by bibtexbrowser