Exploiting Monotonicity in Interval Constraint Propagation

Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010

Volumn , Issue , 2010, Pages 9-14

  Araya, Ignacio ^a   Trombettoni, Gilles ^a   Neveu, Bertrand ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING;

CONSTRAINT PROGRAMMING; CONSTRAINT PROPAGATION ALGORITHMS; INTERVAL CONSTRAINT; INTERVAL CONSTRAINT PROPAGATION; MONOTONICITY; MONOTONICS; STATE OF THE ART; VARIABLE DOMAIN;

CONSTRAINT THEORY;

EID: 79952526170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Araya, I. 2010. Exploiting Common Subexpressions and Monotonicity of Functions for Filtering Algorithms over Intervals. Ph.D. Dissertation, University of Nice-Sophia.
2. Benhamou, F.; Goualard, F.; Granvilliers, L.; and Puget, J.F. 1999. Revising Hull and Box Consistency. In Proc. ICLP, 230-244.
3. Chabert, G., and Jaulin, L. 2009. Hull Consistency Under Monotonicity. In Proc. CP, LNCS 5732, 188-195.
4. Chabert, G. 2010. www.ibex-lib.org.
5. Collavizza, H.; Delobel, F.; and Rueher, M. 1999. Comparing Partial Consistencies. Reliable Comp. 5(3):213-228.
6. Goldsztejn, A.; Michel, C.; and Rueher, M. 2009. Efficient Handling of Universally Quantified Inequalities. Constraints 14(1):117-135.
7. Kieffer, M.; Jaulin, L.; Walter, E.; and Meizel, D. 2000. Robust Autonomous Robot Localization Using Interval Analysis. Reliable Computing 3(6):337-361.
8. Kreinovich, V.; Lakeyev, A.; Rohn, J.; and Kahl, P. 1997. Computational Complexity and Feasibility of Data Processing and Interval Computations. Kluwer.
9. Lhomme, O. 1993. Consistency Techniques for Numeric CSPs. In IJCAI, 232-238.
10. Merlet, J.-P. 2007. Interval Analysis and Robotics. In Symp. of Robotics Research.
11. Moore, R. E. 1966. Interval Analysis. Prentice-Hall.
12. Trombettoni, G., and Chabert, G. 2007. Constructive Interval Disjunction. In Proc. CP, LNCS 4741, 635-650.
13. Van Hentenryck, P.; Michel, L.; and Deville, Y. 1997. Numerica: A Modeling Language for Global Optimization. MIT Press.