Standard

Automated Reencoding of Boolean Formulas. / Manthey, N; Heule, MJH; Biere, A.

Proceedings of Haifa Verification Conference 2012. ed. / sn. Berin : Springer, 2012. p. 1-16.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Harvard

Manthey, N, Heule, MJH & Biere, A 2012, Automated Reencoding of Boolean Formulas. in sn (ed.), Proceedings of Haifa Verification Conference 2012. Springer, Berin, pp. 1-16, Haifa Verification Conference 2012, 6/11/12.

APA

Manthey, N., Heule, MJH., & Biere, A. (2012). Automated Reencoding of Boolean Formulas. In sn (Ed.), Proceedings of Haifa Verification Conference 2012 (pp. 1-16). Berin: Springer.

Vancouver

Manthey N, Heule MJH, Biere A. Automated Reencoding of Boolean Formulas. In sn, editor, Proceedings of Haifa Verification Conference 2012. Berin: Springer. 2012. p. 1-16

Author

Manthey, N ; Heule, MJH ; Biere, A. / Automated Reencoding of Boolean Formulas. Proceedings of Haifa Verification Conference 2012. editor / sn. Berin : Springer, 2012. pp. 1-16

BibTeX

@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",

}

RIS

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

ER -

ID: 3409838