Constraint Operations for CLP(FT).

Donald A. Smith

Published in: ICLP (1991)

Keyphrases

constraint solving
constraint logic programming
constraint programming
real time
arithmetic operations
constraint solver
global constraints
database
website
relational databases
constraint networks
linear constraints