A comparative study of arithmetic constraints on integer intervals

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3010, Issue , 2004, Pages 1-24

  Apt, Krzysztof R ^a,b   Zoeteweij, Peter ^a  

^a CWI   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BENCHMARKING; FUNCTIONS; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; NUMBER THEORY; OPTIMIZATION; PROBLEM SOLVING; SET THEORY; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES;

ARITHMETIC CONSTRAINT; BINARY FUNCTIONS; CONSTRAINT PROPAGATION; ARITHMETIC CONSTRAINTS; COMPARATIVE STUDIES; INTERVAL ARITHMETIC; PROOF RULES; VARIABLE DOMAIN;

CONSTRAINT THEORY; LOGIC PROGRAMMING;

EID: 9444233911     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24662-6_1     Document Type: Conference Paper

References (10)

1. K. R. Apt. A proof theoretic view of constraint programming, Fundamenta Informaticae, 33(3):263-293, 1998. Available via http://arXiv.org/archive/cs/.
2. F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising hull and box consistency. In Proceedings of the 16th International Conference on Logic Programming (ICLP'99), pages 230-244. The MIT Press, 1999.
3. F. Benhamou and W. Older. Applying interval arithmetic to real, integer and boolean constraints. Journal of Logic Programming, 32(1):l-24.
4. T. Granlund. GNU MP, The GNU Multiple Precision Arithmetic Library, Edition 4.1.2. Swox AB, December 2002.
5. W. Harvey and P. J. Stuckey. Improving linear constraint propagation by changing constraint representation. Constraints, 8(2): 173-207, 2003.
6. T. J. Hickey, Q. Ju, and M. H. van Emden. Interval arithmetic: from principles to implementation. Journal of the ACM, 48(5): 1038-1068, 2001.
7. R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
8. D. Ratz. Inclusion isotone extended interval arithmetic. Technical report, University of Karlsruhe, 1996. Report No. D-76128 Karlsruhe.
9. C. Schulte and G. Smolka. Finite domain constraint programming in Oz. A tutorial, August 2002. Version 1.2.4 (20020829). Available via http://wvw.fflozart-oz.org/documentation/fdt/index.html.
10. P. Zoeteweij. Coordination-based distributed constraint solving in DICE. In Brajendra Panda, editor, Proceedings of the 2003 ACM Symposium on Applied Computing, pages 360-366, 2003.