36 records found
1
Symmetry in gardens of Eden
Software model synthesis using satisfiability solvers
Inprocessing Rules
Automated Reencoding of Boolean Formulas
Simulating Circuit-Level Simplifications on CNF
Concurrent Cube-and-Conquer
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Reusing the Assignment Trail in CDCL Solvers
Efficient CNF Simplification based on Binary Implication Graphs
Between Restarts and Backjumps
EagleUP: Solving Random 3-SAT using SLS with Unit Propagation
Symmetry within Solutions
Symbiosis of Search and Heuristics for Random 3-SAT
Internal Symmetry
Clause Elimination Procedures for CNF Formula
Exact DFA Identification Using SAT Solvers
Covered Clause Elimination
Blocked Clause Elimination
Dynamic Symmetry Breaking by Simulating Zykov Contraction
Look-Ahead Based SAT Solvers
