Boolean Constraint Solving Using clp(FD).

Philippe Codognet Daniel Diaz

Published in: ILPS (1993)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint programming
constraint solver
boolean functions
constraint satisfaction
real valued
constraint solvers
box counting
fractal dimension
finite domain
computational complexity