Automated Reencoding of Boolean Formulas (bibtex)
by N. Manthey, M. Heule, A. Biere
Automated Reencoding of Boolean FormulasN. Manthey, M. Heule, A. BiereProc. Haifa Verification Conference (HVC'12), volume 7857 of LNCS, pages 16 pages, 2013, Springer.Note: To be published
Bibtex Entry:
publisher = {Springer},
note = {To be published},
title = {Automated Reencoding of Boolean Formulas},
url = {/pubpdf/Automated_Reencoding_of_Boolean_Formulas.pdf},
series = {LNCS},
booktitle = {Proc.~Haifa Verification Conference (HVC'12)},
author = {N. Manthey and M. Heule and A. Biere},
volume = {7857},
year = {2013},
pages = {16 pages},
Powered by bibtexbrowser