A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.
Ulrich LoupKarsten ScheiblerFlorian CorziliusErika ÁbrahámBernd BeckerPublished in: CADE (2013)
Keyphrases
- constraint propagation
- interval arithmetic
- interval analysis
- constraint reasoning
- constraint programming
- constraint solving
- temporal constraints
- constraint satisfaction problems
- constraint satisfaction
- search space
- constraint graph
- systematic search
- linear programming
- backtracking algorithms
- constrained problems
- path consistency
- constraint solver
- arc consistency
- finite domain
- tree search
- soft constraints
- combinatorial problems
- floating point
- quantifier elimination
- russian doll search