Coprocessor 2.0 - A flexible CNF Simplifier
Aus International Center for Computational Logic
Coprocessor 2.0 - A flexible CNF Simplifier
Norbert MantheyNorbert Manthey
![Coprocessor 2.0 - A flexible CNF Simplifier Coprocessor 2.0 - A flexible CNF Simplifier](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Norbert Manthey
Coprocessor 2.0 - A flexible CNF Simplifier
SAT 2012, Trento, Italy, June 2012
Coprocessor 2.0 - A flexible CNF Simplifier
SAT 2012, Trento, Italy, June 2012
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@misc{M2012,
author = {Norbert Manthey},
title = {Coprocessor 2.0 - A flexible {CNF} Simplifier},
year = {2012},
month = {June}
}