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[2]. © 2012 Springer-Verlag.
CITATION STYLE
Manthey, N. (2012). Coprocessor 2.0 - A flexible CNF simplifier (Tool presentation). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7317 LNCS, pp. 436–441). https://doi.org/10.1007/978-3-642-31612-8_34
Mendeley helps you to discover research relevant for your work.