Efficient CNF Simplification Based on Binary Implication Graphs (bibtex)
by Marijn Heule, Matti Järvisalo, Armin Biere
Reference:
Efficient CNF Simplification Based on Binary Implication GraphsMarijn Heule, Matti Järvisalo, Armin BiereSAT, pages 201-215, 2011.
Bibtex Entry:
@inproceedings{HJB-SAT11,
title = {Efficient CNF Simplification Based on Binary Implication Graphs},
ee = {http://dx.doi.org/10.1007/978-3-642-21581-0_17},
booktitle = {SAT},
author = {Marijn Heule and Matti J{\"a}rvisalo and Armin Biere},
url = {/pubpdf/Efficient_CNF_Simplification_Based_on_Binary_Implication_Graphs.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {201-215},
crossref = {DBLP:conf/sat/2011},
}
Powered by bibtexbrowser