An analysis of arithmetic constraints on integer intervals
From MaRDI portal
Publication:2460254
DOI10.1007/s10601-007-9017-9zbMath1125.68109OpenAlexW2158007510MaRDI QIDQ2460254
Krzysztof R. Apt, Peter Zoeteweij
Publication date: 14 November 2007
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-007-9017-9
Related Items
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals ⋮ An Analysis of Slow Convergence in Interval Propagation ⋮ Parametric functional representation of interval number with arithmetic operations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Improving linear constraint propagation by changing constraint representation
- Comparing partial consistencies
- Compiling constraints in clp(FD)
- Interval arithmetic
- Principles of Constraint Programming
- Applying interval arithmetic to real, integer, and boolean constraints
- Recent Advances in Constraints