Blocked Clause Elimination for QBF (bibtex)
by Armin Biere, Florian Lonsing, Martina Seidl
Reference:
Blocked Clause Elimination for QBFArmin Biere, Florian Lonsing, Martina SeidlCADE, pages 101-115, 2011.
Bibtex Entry:
@inproceedings{BLS-CADE11,
title = {Blocked Clause Elimination for QBF},
ee = {http://dx.doi.org/10.1007/978-3-642-22438-6_10},
booktitle = {CADE},
author = {Armin Biere and Florian Lonsing and Martina Seidl},
url = {/pubpdf/Blocked_Clause_Elimination_for_QBF.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {101-115},
crossref = {DBLP:conf/cade/2011},
}
Powered by bibtexbrowser