A Comparative Study of Arithmetic Constraints on Integer Intervals
| Authors |
|
|---|---|
| Publication date | 2004 |
| Host editors |
|
| 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 |
|
| ISBN (electronic) |
|
| Series | Lecture notes in computer science |
| Pages (from-to) | 1-24 |
| Publisher | Berlin: Springer |
| Organisations |
|
| 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
(Final published version)
|
| Published at | |
| Permalink to this page | |