Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving (bibtex)
by Uwe Egly, Florian Lonsing, Magdalena Widl
Reference:
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingUwe Egly, Florian Lonsing, Magdalena WidlLPAR, pages 291-308, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/lpar/EglyLW13,
title = {Long-Distance Resolution: Proof Generation and Strategy Extraction
in Search-Based QBF Solving},
ee = {http://dx.doi.org/10.1007/978-3-642-45221-5_21},
booktitle = {LPAR},
author = {Uwe Egly and Florian Lonsing and Magdalena Widl},
url = {/pubpdf/Long-Distance_Resolution__Proof_Generation_and_Strategy_Extraction_in_Search-Based_QBF_Solving.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {291-308},
crossref = {DBLP:conf/lpar/2013},
}
Powered by bibtexbrowser