Extending clp(FD) by Negative Constraint Solving.

Antonio J. Fernández Patricia M. Hill

Published in: APPIA-GULP-PRODE (1999)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
positive and negative
finite domain
constraint solvers
low level