QBF2EPR:AToolforGeneratingEPRFormulasfromQBF (bibtex)
by M. Seidl, F. Lonsing, A. Biere
Reference:
QBF2EPR:AToolforGeneratingEPRFormulasfromQBFM. Seidl, F. Lonsing, A. BiereProc. 3rd Intl. Work. on Practical Aspects of Automated Reasoning (PAAR'12), pages 10 pages, 2012.
Bibtex Entry:
@inproceedings{SeidlLonsingBiere-PAAR12,
title = {QBF2EPR} # : # A # Tool # for # Generating # {EPR} # Formulas # from
# {QBF},
url = {/pubpdf/QBF2EPR________A___Tool___for___Generating____EPR____Formulas___from____QBF.pdf},
booktitle = {Proc.~3rd Intl.~Work.~on Practical Aspects of Automated Reasoning
(PAAR'12)},
author = {M. Seidl and F. Lonsing and A. Biere},
year = {2012},
pages = {10 pages},
}
Powered by bibtexbrowser