This course presents interval techniques for rigorously solving numerical constraint satisfaction and optimization problems : interval arithmetic, interval operators, interval constraint propagation, and branch-and-bound algorithms.
This course presents interval techniques for rigorously solving numerical constraint satisfaction and optimization problems : interval arithmetic, interval operators, interval constraint propagation, and branch-and-bound algorithms.