Combining Symbolic Constraint Solvers on Algebraic Domains.

Hélène Kirchner Christophe Ringeissen

Published in: J. Symb. Comput. (1994)

Keyphrases

constraint solvers
connectionist learning
constraint programming
constraint satisfaction problems
constraint propagation
solving problems
constraint solver
set bounds propagation
symbolic representation
constraint solving