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