A CLP Language Handling Disjunctions of Linear Constraints.

Bruno De Backer Henri Beringer

Published in: ICLP (1993)

Keyphrases

linear constraints
constraint logic programming
constraint databases
constraint solver
logic programming language
linearly constrained
nonlinear programming
programming language
equality constraints
convex sets
quadratic program
learning algorithm
image processing
constraint programming