Linear Constraint Solving in CLP-Languages

Jean-Louis Imbert

Published in: Constraint Programming (1994)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint programming
constraint solver
expressive power
finite domain
constraint solvers
lower bound
relational databases
special case