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