Combination of Constraint Solving Techniques: An Algebraic POint of View.

Franz Baader Klaus U. Schulz

Published in: RTA (1995)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
data structure
combining multiple
object oriented
temporal constraints