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

Franz Baader, Klaus U. Schulz

Browse the full CP paper archive.