Coprocessor 2.0 – A Flexible CNF Simplifier (Tool Presentation). This paper presents the CNF simplifier Coprocessor 2.0, an extension of Coprocessor . 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 4 articles )
Showing results 1 to 4 of 4.
- Lagniez, Jean-Marie; Marquis, Pierre: On preprocessing techniques and their impact on propositional model counting (2017)
- Saikko, Paul; Berg, Jeremias; Järvisalo, Matti: LMHS: A SAT-IP hybrid maxsat solver (2016)
- Manthey, Norbert: Coprocessor - a standalone SAT preprocessor (2013) ioport
- Manthey, Norbert: Coprocessor 2.0 -- a flexible CNF simplifier (tool presentation) (2012) ioport