9 records found
1
Simulating Circuit-Level Simplifications on CNF
Inprocessing Rules
Concurrent Cube-and-Conquer
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Automated Reencoding of Boolean Formulas
Efficient CNF Simplification based on Binary Implication Graphs
Blocked Clause Elimination
Clause Elimination Procedures for CNF Formula
Covered Clause Elimination