Coprocessor - a Standalone SAT Preprocessor

PublikationenPublications

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

Toggle side column

Coprocessor - a Standalone SAT Preprocessor

Norbert MantheyNorbert Manthey

Norbert Manthey
Coprocessor - a Standalone SAT Preprocessor
Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{M2011,
  author    = {Norbert Manthey},
  title     = {Coprocessor - a Standalone {SAT} Preprocessor},
  booktitle = {Proceedings of the 25th Workshop on Logic Programming, {WLP} 2011},
  year      = {2011}
}