Integration of an LP Solver into Interval Constraint Propagation.

Werkzeuge