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

Pierre Girodias Eduard Cerny William J. Older

Published in: CP (1995)

Keyphrases

constraint propagation
interval arithmetic
computing systems
constraint solving
real time
computational complexity
data model
constraint satisfaction
qualitative and quantitative
random sampling
provably correct