Authors: BENHAMOU F OLDER WJ

Citation: F. Benhamou et Wj. Older, APPLYING INTERVAL ARITHMETIC TO REAL, INTEGER, AND BOOLEAN CONSTRAINTS, The journal of logic programming, 32(1), 1997, pp. 1-24

Authors: GIRODIAS P CERNY E OLDER WJ

Citation: P. Girodias et al., SOLVING LINEAR, MIN AND MAX CONSTRAINT SYSTEMS USING CLP BASED ON RELATIONAL INTERVAL ARITHMETIC, Theoretical computer science, 173(1), 1997, pp. 253-281