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[
Keywords for this software
References in zbMATH (referenced in 15 articles )
Showing results 1 to 15 of 15.
Sorted by year (- Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin: SAT competition 2020 (2021)
- Lagniez, Jean-Marie; Lonca, Emmanuel; Marquis, Pierre: Definability for model counting (2020)
- Berg, Jeremias; Järvisalo, Matti: Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (2017)
- Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
- Korhonen, Tuukka; Berg, Jeremias; Saikko, Paul; Järvisalo, Matti: Maxpre: an extended maxsat preprocessor (2017)
- Lagniez, Jean-Marie; Marquis, Pierre: On preprocessing techniques and their impact on propositional model counting (2017)
- Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice: Painless: a framework for parallel SAT solving (2017)
- Philipp, Tobias; Rebola-Pardo, Adrián: DRAT proofs for XOR reasoning (2016)
- Saikko, Paul; Berg, Jeremias; Järvisalo, Matti: LMHS: a SAT-IP hybrid MaxSat solver (2016)
- Cai, Shaowei; Luo, Chuan; Su, Kaile: CCAnr: a configuration checking based local search solver for non-random satisfiability (2015)
- Iser, Markus; Manthey, Norbert; Sinz, Carsten: Recognition of nested gates in CNF formulas (2015)
- Philipp, Tobias: An expressive model for instance decomposition based parallel SAT solvers (2015)
- Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd: Preprocessing for DQBF (2015)
- Manthey, Norbert: Coprocessor - a standalone SAT preprocessor (2013) ioport
- Manthey, Norbert: Coprocessor 2.0 -- a flexible CNF simplifier (tool presentation) (2012) ioport