Constraints and Constraint Solving: An Introduction.

Jean-Pierre Jouannaud Ralf Treinen

Published in: CCL (1999)

Keyphrases

constraint solving
constraint logic programming
constraint solver
constraint propagation
constraint satisfaction
constraint satisfaction problems
constraint programming
finite domain
constraint solvers
objective function
knowledge representation
linear programming