Global hull consistency with local search for continuous constraint solving

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

Volumn 2258 LNAI, Issue , 2001, Pages 349-362

  Cruz, Jorge ^a   Barahona, Pedro ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; ECONOMIC AND SOCIAL EFFECTS; INTELLIGENT AGENTS; LOCAL SEARCH (OPTIMIZATION); LOGIC PROGRAMMING; ALGORITHMS; ARTIFICIAL INTELLIGENCE;

COMPUTATIONAL COSTS; COMPUTATIONAL EFFORT; CONSTRAINT SOLVING; CONTINUOUS CONSTRAINTS; CONTINUOUS DOMAIN; INTERVAL CONSTRAINT PROPAGATION; LOCAL CONSISTENCY; SOLUTION SPACE;

MULTI AGENT SYSTEMS;

EID: 84867753056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45329-6_34     Document Type: Conference Paper

References (15)

1. Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) revisited. Logic Programming Symposium, MIT Press (1994) 124-131.
2. Benhamou, F., Older, W.J.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming (1997) 32(1): 1-24.
3. Cleary, J.G.: Logical Arithmetic. Future Computing Systems (1987) 2(2): 125-149.
4. Cruz, J., Barahona, P.: An Interval Constraint Approach to Handle Parametric ODEs for Decision Support. Principles Practice Constraint Programming, Springer (1999) 478-479.
5. Cruz, J., Barahona, P., Benhamou, F.: Integrating Deep Biomedical Models into Medical DSSs: an Interval Constraint Approach. AI in Medicine, Springer (1999) 185-194.
6. Cruz, J., Barahona, P.: Handling Differential Equations with Constraints for Decision Support. Frontiers of Combining Systems, Springer (2000) 105-120.
7. Hansen, E.: Global Optimization Using Interval Analysis. Marcel Dekker (1992).
8. Sam-Haroud, D., Fallings, B.V.: Consistency Techniques for Continuous Constraints. Constraints (1996) 1(1,2):85-118.
9. Lhomme, O.: Consistency Techniques for Numeric CSPs. IJCAI, IEEE Pr. (1993) 232-238.
10. Monlanari U.: Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science (1974) 7(2):95-132.
11. Moore, R.E.: Interval Analysis. Prentice-Hall (1966).
12. Ortega, J., Rheinboldt, W.: Iterative Solution of Nonlinear Equations in Several Variables. Academic Press (1970).
13. Puget, J-F., Van Hentenryck, P.: A Constraint Satisfaction Approach to a Circuit Design Problem. Journal of Global Optimization, MIT Press (1997).
14. Stoer, J., Burlisch R.: Introduction to Numerical Analysis. Springer Verlag (1980).
15. Van Hentenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal of Numerical Analysis (1997) 34(2).