On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers.

Franz Baader Klaus U. Schulz

Published in: UNIF (1995)

Keyphrases

constraint solver
constraint solvers
constraint solving
constraint programming
constraint satisfaction problems
linear constraints
constraint satisfaction
constraint problems
constraint propagation
optimal solution
global constraints
combinatorial problems
path consistency
constraint logic programming