Encoding Linear Constraints into SAT.

Ignasi Abío Peter J. Stuckey

Published in: CP (2014)

Keyphrases

linear constraints
pseudo boolean constraints
sat encodings
boolean formula
constraint databases
linearly constrained
nonlinear programming
satisfiability problem
sat solvers
constraint solver
search algorithm
phase transition
quadratic program
equality constraints
image processing
high dimensional