Keyphrases
- interval arithmetic
- constraint propagation
- real numbers
- floating point
- partial derivatives
- provably correct
- constraint programming
- constraint satisfaction problems
- implicit surfaces
- search space
- finite sets
- ray casting
- constraint satisfaction
- situation calculus
- real time
- heuristic search
- linear programming
- special case
- lower bound
- learning algorithm