Automated Reencoding of Boolean Formulas

N Manthey, MJH Heule, A Biere

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of Haifa Verification Conference 2012
Editors	sn
Place of Publication	Berin
Publisher	Springer
Pages	1-16
Number of pages	16
Publication status	Published - 2012
Event	Haifa Verification Conference 2012 - Berin Duration: 6 Nov 2012 → 8 Nov 2012

Name
Publisher	Springer

Conference	Haifa Verification Conference 2012
Period	6/11/12 → 8/11/12

Keywords

@inproceedings{5c4a411ddf3f484080c76ba5e29e5d31,

title = "Automated Reencoding of Boolean Formulas",

keywords = "Conf.proc. > 3 pag",

author = "N Manthey and MJH Heule and A Biere",

year = "2012",

language = "English",

publisher = "Springer",

pages = "1--16",

editor = "sn",

booktitle = "Proceedings of Haifa Verification Conference 2012",

note = "Haifa Verification Conference 2012 ; Conference date: 06-11-2012 Through 08-11-2012",

}

TY - GEN

T1 - Automated Reencoding of Boolean Formulas

AU - Manthey, N

AU - Heule, MJH

AU - Biere, A

PY - 2012

Y1 - 2012

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SP - 1

EP - 16

BT - Proceedings of Haifa Verification Conference 2012

A2 - sn, null

PB - Springer

CY - Berin

T2 - Haifa Verification Conference 2012

Y2 - 6 November 2012 through 8 November 2012

ER -