×

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

Referencing Publications by Year