Hull consistency under monotonicity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5732 LNCS, Issue , 2009, Pages 188-195

  Chabert, Gilles ^a   Jaulin, Luc ^b  

^a ECOLE DES MINES DE NANTES   (France)

^b ENSIETA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MONOTONICITY; POLYNOMIAL-TIME; SYSTEM OF EQUATIONS; THEORETICAL RESULT;

CONSTRAINT THEORY; CONTRACTORS; POLYNOMIAL APPROXIMATION;

COMPUTER PROGRAMMING;

EID: 70350431935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04244-7_17     Document Type: Conference Paper

References (18)

1. Alefeld, G., Mayer, G.: Interval Analysis: Theory and Applications. J. Comput. Appl. Math. 121(1-2), 421-464 (2000)
2. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: ICLP, pp. 230-244 (1999)
3. Benhamou, F., Granvilliers, L.: Continuous and interval constraints. In: Handbook of Constraint Programming, ch. 16, pp. 571-604. Elsevier, Amsterdam (2006)
4. Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(intervals) revisited. In: International Symposium on Logic programming, pp. 124-138. MIT Press, Cambridge (1994)
5. Benhamou, F., Older, W.J.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming 32, 1-24 (1997)
6. Cleary, J.G.: Logical Arithmetic. Future Computing Systems 2(2), 125-149 (1987)
7. Collavizza, H.: A Note on Partial Consistencies over Continuous Domains Solving Techniques. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 147-161. Springer, Heidelberg (1998)
8. Delobel, F., Collavizza, H., Rueher, M.: Comparing Partial Consistencies. Reliable Computing 5(3), 213-228 (1999)
9. Granvilliers, L., Benhamou, F.: Progress in the Solving of a Circuit Design Problem. Journal of Global Optimization 20(2), 155-168 (2001)
10. Hansen, E.R.: Global Optimization using Interval Analysis. Marcel Dekker, New York (1992)
11. Hyvönen, E.: Constraint Reasoning Based on Interval Arithmetic. In: IJCAI, pp. 1193-1198 (1989)
12. Hyvönen, E.: Constraint Reasoning Based on Interval Arithmetic - The Tolerance Propagation Approach. Artificial Intelligence 58, 71-112 (1992)
13. Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, Heidelberg (2001)
14. Kreinovich, V., Lakeyev, A., Rohn, J., Kahl, P.: Computational complexity and feasibility of data processing and interval computations. Kluwer, Dordrecht (1997)
15. Lhomme, O.: Consistency Techniques for Numeric CSPs. In: IJCAI, pp. 232-238 (1993)
16. Moore, R.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)
17. Older, W.J., Vellino, A.: Extending Prolog with Constraint Arithmetic on Real Intervals. In: IEEE Canadian Conf. on Elec. and Comp. Engineering (1990)
18. Van Hentenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM J. Numer. Anal. 34(2), 797-827 (1997)