Metalevel Interval Arithmetic and Verifiable Constraint Solving.
Timothy J. HickeyPublished in: J. Funct. Log. Program. (2001)
Keyphrases
- constraint solving
- interval arithmetic
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- constraint solver
- temporal constraints
- tree search
- search space
- sufficient conditions
- real time
- temporal reasoning
- floating point
- relational databases
- lower bound
- image sequences