A box-consistency contractor based on extremal functions

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

Volumn 6308 LNCS, Issue , 2010, Pages 491-498

  Trombettoni, Gilles ^a   Papegay, Yves ^a   Chabert, Gilles ^a   Pourtallier, Odile ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY;

EXTREMAL FUNCTIONS; INTERVAL CONSTRAINT PROPAGATION; INTERVAL FUNCTIONS; INTERVAL-BASED METHOD; NEW FORMS; NUMERICAL CONSTRAINTS; REAL SOLUTIONS; SYSTEM OF EQUATIONS;

FUNCTIONS;

EID: 78149235542     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15396-9_39     Document Type: Conference Paper

References (15)

1. Araya, I., Trombettoni, G., Neveu, B.: Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. In: Proc. CP. LNCS (2010)
2. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, Conf. on Logic Programming, pp. 230-244 (1999)
3. Chabert, G.: Ibex - An Interval Based EXplorer (2010), http://www.ibex-lib.org
4. Collavizza, H., Delobel, F., Rueher, M.: Extending Consistent Domains of Numeric CSP. In: Proc. IJCAI, pp. 406-413 (1999)
5. Goldsztejn, A., Goualard, F.: Box Consistency through Adaptive Shaving. In: Proc. ACM SAC, pp. 2049-2054 (2010)
6. Jaulin, L.: Interval Constraint Propagation with Application to Bounded-error Estimation. Automatica 36, 1547-1552 (2000)
7. Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)
8. Kreinovich, V., Lakeyev, A.V., Rohn, J., Kahl, P.T.: Computational Complexity and Feasibility of Data Processing and Interval Computations. Kluwer, Dordrecht (1997)
9. Merlet, J.-P.: Interval Analysis and Robotics. In: Symp. of Robotics Research (2007)
10. Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)
11. Rueher, M., Goldsztejn, A., Lebbah, Y., Michel, C.: Capabilities of Constraint Programming in Rigorous Global Optimization. In: NOLTA (2008)
12. Tucker, W.: A Rigorous ODE Solver and Smale's 14th Problem. Found. Comput. Math. 2, 53-117 (2002)
13. Van Hentenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM J. on Num. Analysis 34(2) (1997)
14. Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge (1997)
15. Wolfram, S.: Mathematica, 4th edn. Cambridge University Press, Cambridge (1999)