Combining Constraint Solving.

Franz Baader Klaus U. Schulz

Published in: CCL (1999)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
constraint solvers
database systems
image sequences
object oriented
finite domain