Coprocessor 2.0 - A flexible CNF Simplifier

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Coprocessor 2.0 - A flexible CNF Simplifier

Norbert MantheyNorbert Manthey

Norbert Manthey
Coprocessor 2.0 - A flexible CNF Simplifier
SAT 2012, Trento, Italy, June 2012

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{M2012,
  author = {Norbert Manthey},
  title  = {Coprocessor 2.0 - A flexible {CNF} Simplifier},
  year   = {2012},
  month  = {June}
}