A Comparative Study of Arithmetic Constraints on Integer Intervals

Authors
Publication date 2004
Host editors
  • K.R. Apt
  • F. Fages
  • F. Rossi
  • P. Szeredi
  • J. Váncza
Book title Recent Advances in Constraints
Book subtitle Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers
ISBN
  • 3540218343
ISBN (electronic)
  • 3540246622
Series Lecture notes in computer science
Pages (from-to) 1-24
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract We 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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-540-24662-6_1
Published at http://xxx.lanl.gov/abs/cs/0403016
Permalink to this page
Back