Login / Signup
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.
Hakan Metin
Souheib Baarir
Maximilien Colange
Fabrice Kordon
Published in:
TACAS (1) (2018)
Keyphrases
</>
symmetry breaking
sat solving
boolean satisfiability
boolean optimization
constraint programming
sat solvers
search tree
global constraints
constraint satisfaction problems
integer linear programming
sat problem
reinforcement learning
orders of magnitude
branch and bound algorithm
graph coloring