Login / Signup

Improving IntSat by expressing disjunctions of bounds as linear constraints.

Roberto AsínMarc BezemRobert 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