Automated Reencoding of Boolean Formulas (bibtex)
by N. Manthey, M. Heule, A. Biere
Reference:
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:
@inproceedings{MantheyHeuleBiere-HVC12,
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