Solution extraction from long-distance resolution proofs (bibtex)
by Uwe Egly, Magdalena Widl
Reference:
Solution extraction from long-distance resolution proofsUwe Egly, Magdalena WidlInternational Workshop on Quantified Boolean Formulas 2013, Informal Workshop Report, pages 6, 2013.
Bibtex Entry:
@inproceedings{qbf2013,
title = {Solution extraction from long-distance resolution proofs},
url = {/pubpdf/Solution_extraction_from_long-distance_resolution_proofs.pdf},
booktitle = {International Workshop on Quantified Boolean Formulas 2013, Informal
Workshop Report},
author = {Egly, Uwe and Widl, Magdalena},
year = {2013},
pages = {6},
}
Powered by bibtexbrowser