Enhancing numerical constraint propagation using multiple inclusion representations.
Xuan-Ha VuDjamila Sam-HaroudBoi FaltingsPublished in: Ann. Math. Artif. Intell. (2009)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint satisfaction problems
- constraint satisfaction
- constraint solving
- interval arithmetic
- constraint programming
- temporal constraints
- interval analysis
- tree search
- russian doll search
- backtracking algorithms
- constrained problems
- soft constraints
- arc consistency
- quantifier elimination
- state space
- np hard