Failed Literal Detection for QBF (bibtex)
by Florian Lonsing, Armin Biere
Reference:
Failed Literal Detection for QBFFlorian Lonsing, Armin BiereSAT, pages 259-272, 2011.
Bibtex Entry:
@inproceedings{LB-SAT11,
title = {Failed Literal Detection for QBF},
ee = {http://dx.doi.org/10.1007/978-3-642-21581-0_21},
booktitle = {SAT},
author = {Florian Lonsing and Armin Biere},
url = {/pubpdf/Failed_Literal_Detection_for_QBF.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {259-272},
crossref = {DBLP:conf/sat/2011},
}
Powered by bibtexbrowser