Solving Linear Constraints on Finite Domains Through Parsing.

Miguel Filgueiras Ana Paula Tomás

Published in: EPIA (1991)

Keyphrases

linear constraints
linearly constrained
nonlinear programming
linear relaxation
quadratic program
constraint databases
constraint solver
integer points
boolean formula
convex sets
linear programming
equality constraints
image processing
variational inequalities
convex constraints