Coprocessor swMATH ID: 16739 Software Authors: Norbert Manthey Description: 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[ Homepage: http://link.springer.com/chapter/10.1007/978-3-642-31612-8_34 Related Software: MiniSat; Lingeling; Plingeling; Chaff; Treengeling; DRAT-trim; CryptoMiniSat; PaInleSS; HordeSat; ManySAT; sharpSAT; Runsolver; LMHS; MaxHS; SCIP; Sparrow2Riss; SAT competition; Paracooba; Kissat; SLIME Referenced in: 11 Publications all top 5 Referenced by 28 Authors 3 Järvisalo, Matti 2 Berg, Jeremias 2 Iser, Markus 2 Lagniez, Jean-Marie 2 Marquis, Pierre 2 Philipp, Tobias 1 Balint, Adrian 1 Bayless, Sam 1 Becker, Bernd 1 Cai, Shaowei 1 Froleyks, Nils 1 Gitina, Karina 1 Heule, Marijn J. H. 1 Hoos, Holger H. 1 Hutter, Frank 1 Leyton-Brown, Kevin 1 Lindauer, Marius 1 Lonca, Emmanuel 1 Luo, Chuan 1 Manthey, Norbert 1 Nist, Jennifer 1 Rebola-Pardo, Adrián 1 Saikko, Paul 1 Scholl, Christoph 1 Sinz, Carsten 1 Su, Kaile 1 Suda, Martin 1 Wimmer, Ralf D. Referenced in 2 Serials 4 Artificial Intelligence 1 Journal of Automated Reasoning Referenced in 4 Fields 11 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Referencing Publications by Year