A Comparative Study of Arithmetic Constraints on Integer Intervals

@inproceedings{Apt2003ACS,
  title={A Comparative Study of Arithmetic Constraints on Integer Intervals},
  author={Krzysztof R. Apt and Peter Zoeteweij},
  booktitle={CSCLP},
  year={2003}
}
  • Krzysztof R. Apt, Peter Zoeteweij
  • Published in CSCLP 2003
  • Computer Science, Mathematics
  • 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. 

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Tables and Topics from this paper.

    References

    Publications referenced by this paper.