Automated Reencoding of Boolean Formulas

Norbert MantheyNorbert Manthey, Marijn J. H. HeuleMarijn J. H. Heule, Armin BiereArmin Biere

Norbert Manthey, Marijn J. H. Heule, Armin Biere
Automated Reencoding of Boolean Formulas
Proceedings of Haifa Verification Conference 2012, 2012

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{MHB2012,
  author    = {Norbert Manthey and Marijn J. H. Heule and Armin Biere},
  title     = {Automated Reencoding of Boolean Formulas},
  booktitle = {Proceedings of Haifa Verification Conference 2012},
  year      = {2012}
}