SAT Encodings of Finite-CSP Domains: A Survey.

Published in: SoICT (2017)

Keyphrases

sat encodings
constraint satisfaction problems
sat solvers
combinatorial problems
graph coloring
integer linear programming
linear arithmetic constraints
constraint satisfaction
constraint programming
planning problems
temporal constraints