Watched Propagation of 0-1 Integer Linear Constraints.

Published in: CP (2020)

Keyphrases

linear constraints
integer points
constraint databases
linearly constrained
nonlinear programming
constraint solver
quadratic program
convex sets
equality constraints
image processing
np hard
convex hull
sensitivity analysis
finite number