Combining Multiple Inclusion Representations in Numerical Constraint Propagation.
Xuan-Ha VuDjamila Sam-HaroudBoi FaltingsPublished in: ICTAI (2004)
Keyphrases
- constraint propagation
- combining multiple
- interval arithmetic
- constraint reasoning
- constraint programming
- constraint satisfaction problems
- constraint satisfaction
- constraint solving
- temporal constraints
- backtracking algorithms
- linear programming
- systematic search
- arc consistency
- quantifier elimination
- interval analysis
- search space
- constraint solver
- tree search
- constrained problems
- multiple classifiers
- fusion methods
- finite domain
- path consistency
- reinforcement learning
- integrity constraints
- search algorithm