Next:
Introduction
Up:
ECLiPSe Obsolete Libraries Manual
Previous:
Writing Higher Level Constraints
Index
RIA: ECLiPSe Real Number Interval Arithmetic
Introduction
What Ria does
Usage
History
Library Predicates
Ranged and Typed Variables
Constraints
Arithmetic Expressions
Solving by Interval Propagation
Reducing Ranges Further
Setting the Arc-Propagation Threshold
Obtaining Solver Statistics
The Ria library algorithms
Arc consistency
Arc consistency threshold
Squash algorithm
Warwick Harvey
2004-08-07
