Coprocessor - a Standalone SAT Preprocessor

From International Center for Computational Logic

Toggle side column

Coprocessor - a Standalone SAT Preprocessor

Norbert MantheyNorbert Manthey
Coprocessor - a Standalone SAT Preprocessor


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