Coprocessor

Coprocessor 2.0 – A Flexible CNF Simplifier (Tool Presentation). This paper presents the CNF simplifier Coprocessor 2.0, an extension of Coprocessor [1]. It implements almost all currently known simplification techniques in a modular way and provides access to each single technique to execute them independently. Disabling preprocessing for a set of variables is also possible and enables to apply simplifications also for incremental SAT solving. Experiments show that Coprocessor 2.0 performs better than its predecessor or SatElite[


References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Lagniez, Jean-Marie; Lonca, Emmanuel; Marquis, Pierre: Definability for model counting (2020)
  2. Berg, Jeremias; Järvisalo, Matti: Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (2017)
  3. Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
  4. Korhonen, Tuukka; Berg, Jeremias; Saikko, Paul; Järvisalo, Matti: Maxpre: an extended maxsat preprocessor (2017)
  5. Lagniez, Jean-Marie; Marquis, Pierre: On preprocessing techniques and their impact on propositional model counting (2017)
  6. Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice: Painless: a framework for parallel SAT solving (2017)
  7. Philipp, Tobias; Rebola-Pardo, Adrián: DRAT proofs for XOR reasoning (2016)
  8. Saikko, Paul; Berg, Jeremias; Järvisalo, Matti: LMHS: A SAT-IP hybrid maxsat solver (2016)
  9. Cai, Shaowei; Luo, Chuan; Su, Kaile: CCAnr: a configuration checking based local search solver for non-random satisfiability (2015)
  10. Iser, Markus; Manthey, Norbert; Sinz, Carsten: Recognition of nested gates in CNF formulas (2015)
  11. Philipp, Tobias: An expressive model for instance decomposition based parallel SAT solvers (2015)
  12. Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd: Preprocessing for DQBF ralf (2015)
  13. Manthey, Norbert: Coprocessor - a standalone SAT preprocessor (2013) ioport
  14. Manthey, Norbert: Coprocessor 2.0 -- a flexible CNF simplifier (tool presentation) (2012) ioport