Value Constraints in the CLP Scheme.

Maarten H. van Emden

Published in: Constraints An Int. J. (1997)

Keyphrases

constraint programming
constraint logic programming
constraint solving
constraint satisfaction
classification scheme
global constraints
database
real time
artificial intelligence
computer vision
logic programming
answer set programming
mixed integer
recognition scheme
multiple constraints