clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.

Philippe Codognet Daniel Diaz

Published in: PLILP (1994)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint programming
constraint solver
high efficiency
computational complexity
relational databases
constraint solvers
heuristic search
finite domain