Finite Domain Constraint Solving and Constraint Logic Programming.
Ugo MontanariFrancesca RossiPublished in: WCLP (1991)
Keyphrases
- constraint solving
- constraint logic programming
- finite domain
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- constraint programming
- search algorithm
- image sequences
- dynamic programming
- heuristic search
- arc consistency
- tree search
- search space
- combinatorial problems