BV2EPR:AToolforPolynomiallyTranslatingQuantifier-freeBit-VectorFormulasintoEPR (bibtex)
by G. Kovásznai, A. Fröhlich, A. Biere
Reference:
BV2EPR:AToolforPolynomiallyTranslatingQuantifier-freeBit-VectorFormulasintoEPRG. Kovásznai, A. Fröhlich, A. BiereProc. 24th Intl. Conf. on Automated Deduction (CADE'13), pages 7 pages, 2013, Springer.
Bibtex Entry:
@inproceedings{KovasznaiFroehlichBiere-CADE13,
publisher = {Springer},
title = {BV2EPR} # : # A # Tool # for # Polynomially # Translating # Quantifier-free
# Bit-Vector # Formulas # into # {EPR},
url = {/pubpdf/BV2EPR________A___Tool___for___Polynomially___Translating___Quantifier-free___Bit-Vector___Formulas___into____EPR.pdf},
series = {LNCS},
booktitle = {Proc.~24th Intl.~Conf.~on Automated Deduction (CADE'13)},
author = {G. Kov\'{a}sznai and A. Fr\"{o}hlich and A. Biere},
year = {2013},
pages = {7 pages},
}
Powered by bibtexbrowser