Boolean Constraint Solving Using clp(FD).

Philippe Codognet Daniel Diaz

Published in: ICLP Workshop on Concurrent Constraint Programming (1993)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
real valued
boolean functions
boolean queries
finite domain
constraint solvers
knowledge representation
heuristic search