Coprocessor 2.0 - A flexible CNF Simplifier

From International Center for Computational Logic
Toggle side column

Coprocessor 2.0 - A flexible CNF Simplifier

Norbert MantheyNorbert Manthey
Coprocessor 2.0 - A flexible CNF Simplifier


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