A CDCL-style calculus for solving non-linear constraints.

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

Published in: CoRR (2019)

Keyphrases

sat encodings
sat solvers
sat solving
constraint satisfaction problems
constraint satisfaction
combinatorial problems
planning problems
constraint programming
graph coloring
genetic algorithm
np complete
orders of magnitude
solving problems
integer program