arXiv 2004-03-12 EN A Comparative Study of Arithmetic Constraints on Integer Intervals Apt, Krzysztof R. · Zoeteweij, Peter