Login / Signup
Improving IntSat by expressing disjunctions of bounds as linear constraints.
Roberto Asín
Marc Bezem
Robert Nieuwenhuis
Published in:
AI Commun. (2016)
Keyphrases
</>
linear constraints
linear relaxation
constraint databases
nonlinear programming
upper bound
linearly constrained
lower bound
equality constraints
convex sets
training data
constraint solver
convex constraints