Typing Linear Constraints for Moding CLP() Programs.

Salvatore Ruggieri Frédéric Mesnard

Published in: SAS (2008)

Keyphrases

linear constraints
constraint solver
constraint databases
constraint logic programming
linearly constrained
nonlinear programming
equality constraints
constraint programming
quadratic program
image processing
constraint propagation
linear relaxation
search space
markov random field
shape analysis
answer sets