Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (bibtex)
by Florian Lonsing, Uwe Egly, Allen Van Gelder
Reference:
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit PropagationFlorian Lonsing, Uwe Egly, Allen Van GelderSAT, pages 100-115, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/sat/LonsingEG13,
title = {Efficient Clause Learning for Quantified Boolean Formulas via QBF
Pseudo Unit Propagation},
ee = {http://dx.doi.org/10.1007/978-3-642-39071-5_9},
booktitle = {SAT},
author = {Florian Lonsing and Uwe Egly and Allen Van Gelder},
url = {/pubpdf/Efficient_Clause_Learning_for_Quantified_Boolean_Formulas_via_QBF_Pseudo_Unit_Propagation.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {100-115},
crossref = {DBLP:conf/sat/2013},
}
Powered by bibtexbrowser