Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic.

Pierre Girodias, Eduard Cerny, William J. Older

Browse the full CP paper archive.