A CDCL-Style Calculus for Solving Non-linear Constraints.

Franz Brauße Konstantin Korovin Margarita V. Korovina Norbert Th. Müller

Published in: FroCos (2019)

Keyphrases

sat encodings
sat solvers
constraint satisfaction
combinatorial problems
graph coloring
sat solving
constraint satisfaction problems
search space
orders of magnitude
constraint programming
linear constraints
mutual exclusion
planning problems
global constraints
integer linear programming