On the Combination of Interval Constraint Solvers.

Laurent Granvilliers

Published in: Reliab. Comput. (2001)

Keyphrases

constraint solvers
constraint solving
constraint propagation
solving problems
constraint solver
search algorithm
lower bound
np complete
branch and bound