CosySEL: Improving SAT Solving Using Local Symmetries.

Sabrine Saouli Souheib Baarir Claude Dutheillet Jo Devriendt

Published in: VMCAI (2023)

Keyphrases

sat solving
symmetry breaking
sat solvers
boolean satisfiability
boolean optimization
sat problem
cellular automata
constraint programming
lower bound
global constraints
max sat
sat encodings