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

Franz Baader Klaus U. Schulz

Published in: CP (1995)

Keyphrases

constraint solver
constraint solvers
constraint solving
constraint programming
combinatorial problems
linear constraints
constraint problems
constraint satisfaction problems
integer programming
constraint propagation
constraint logic programming
computational complexity
fuzzy logic
constraint satisfaction