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

Pierre Girodias, Eduard Cerny, William J. Older. Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic. Theoretical Computer Science, 173(1):253-281, 1997. [doi]

Abstract

Abstract is missing.