Encoding Linear Constraints with Implication Chains to CNF.

Ignasi Abío Valentin Mayer-Eichberger Peter J. Stuckey

Published in: CP (2015)

Keyphrases

linear constraints
boolean formula
constraint databases
linearly constrained
boolean functions
nonlinear programming
quadratic program
equality constraints
sat solvers
knowledge compilation
cnf formula
convex constraints