SAT-Based Techniques for Integer Linear Constraints.

Robert Nieuwenhuis

Published in: GCAI (2015)

Keyphrases

linear constraints
constraint solver
integer points
constraint databases
nonlinear programming
equality constraints
answer set programming
quadratic program
linearly constrained
bounded model checking
image processing
planning problems
probabilistic model
probability distribution
sat solvers
real numbers