A Comparative Study of Arithmetic Constraints on Integer Intervals

Simple item page
dc.creatorApt, Krzysztof R.
dc.creatorZoeteweij, Peter
dc.date2004-03-12
dc.date.accessioned2026-07-07T03:21:00Z
dc.date.available2026-07-07T03:21:00Z
dc.descriptionWe propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arithmetic. Each approach is explained using appropriate proof rules that reduce the variable domains. We compare these approaches using a set of benchmarks.
dc.description24 pages. To appear in "Recent Advances in Constraints, 2003" K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza, eds, LNAI 3010, Springer-Verlag, 2004
dc.identifierhttps://arxiv.org/abs/cs/0403016
dc.identifierhttp://arxiv.org/abs/cs/0403016
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32034
dc.subjectProgramming Languages
dc.subjectArtificial Intelligence
dc.subjectD.3.2; D.3.3
dc.titleA Comparative Study of Arithmetic Constraints on Integer Intervals
dc.typetext

Files

Collections

arXiv