Comparing Partial Consistencies

Reliable Computing

Volumn 5, Issue 3, 1999, Pages 213-228

  Collavizza, Hélène ^a   Delobel, François ^a   Rueher, Michel ^a  

^a UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000708430     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009922003700     Document Type: Article

References (29)

1. Benhamou, F., Goualard, F., and Granvilliers, L.: Programming with the DecLIC Language, in: Proceedings of the Second Workshop on Interval Constraints, Port-Jefferson, NY, 1997.
2. Benhamou, F., Mc Allester, D., and Van Hentenryck, P.: CLP(Intervals) Revisited, in: Proc. Logic Programming: Proceedings of the 1994 International Symposium, MIT Press, 1994.
3. Benhamou, F. and Older, W.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming 32 (1997), pp. 1-24.
4. Brent, R. P.: A FORTRAN Multiple-Precision Arithmetic Package, ACM Trans. on Math. Software 4 (1) (1978), pp. 57-70.
5. Cleary, J. C.: Logical Arithmetic, Future Computing Systems 2 (2) (1987), pp. 125-149.
6. Collavizza, H., Delobel, F., and Rueher, M.: A Note on Partial Consistencies over Continuous Domains Solving Techniques, in: Proc. CP98 (Fourth International Conference on Principles and Practice of Constraint Programming), LNCS 1520, Springer Verlag, 1998.
7. Faltings, B.: Arc-Consistency for Continuous Variables, Artificial Intelligence 65 (1994), pp. 363-376.
8. Freuder, E. C.: Synthesizing Constraint Expressions, Communications of the ACM 21 (1978), pp. 958-966.
9. Granvilliers, L.: On the Combination of Box-Consistency and Hull-Consistency, Workshop ECA1 on Non Binary-Constraints, Brighton, United Kingdom, 1998
10. Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, NY, 1992.
11. Hong, H., Stahl, V.: Safe Starting Regions by Fixed Points and Tightening, Computing 53 (1994), pp. 323-335.
12. Hyvönen, E.: Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, Artificial Intelligence 58 (1992), pp. 71-112.
13. Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, Netherlands, 1996.
14. Lebbah, Y. and Lhomme, O.: Acceleration Methods for Numeric CSPs AAAI, MIT Press, 1998.
15. Lee, J. H. M. and Van Emden, M. H.: Interval Computation as Deduction in CHIP, Journal of Logic Programming 16 (1993), pp. 255-276.
16. Lhomme, O.: Consistency Techniques for Numeric CSPs, in: Proc. IJCAI93, Chambery, France, 1993, pp, 232-238.
17. Lhomme, O. and Rueher, M.: Application des techniques CSP au raisonnement sur les intervalles, RIA (Dunod) 11 (3) (1997), pp. 283-312.
18. Mackworth, A.: Consistency in Networks of Relations, Artificial Intelligence 8 (1) (1997), pp. 99-118.
19. Montanari, U.: Networks of Constraints: Fundamental Properties and Applications to Picture Processing, Information Science 7 (2) (1974), pp. 95-132.
20. Moore, R.: Interval Analysis, Prentice Hall, 1966.
21. Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, 1990.
22. Neumaier, A., Dallwig, S., and Schichl, H.: GLOPT - A Program for Constrained Global Optimization, in: Bomze, I. et al. (eds.), Developments in Global Optimization, Kluwer Academic Publishers, Dordrecht, 1997, pp. 19-36.
23. Older, W. J. and Vellino, A.: Extending Prolog with Constraint Arithmetic on Real Intervals, in: Proc. of IEEE Canadian Conference on Electrical and Computer Engineering, IEEE Computer Society Press, 1990.
24. Puget, J.-F. and Van Hentenryck, P.: A Constraint Satisfaction Approach to a Circuit Design Problem, Journal of Global Optimization 13 (1998), pp. 75-93.
25. Prologia: PrologIV Constraints Inside, Parc technologique de Luminy - Case 919 13288 Marseille cedex 09, France, 1996.
26. Rueher, M. and Solnon, C.: Concurrent Cooperating Solvers within the Reals, Reliable Computing 3 (3) (1997), pp. 325-333.
27. Tsang, E.: Foundations of Constraint Satisfaction, Academic Press, 1993.
28. Van Hentenryck, P., Deville, Y., and Michel, L.: Numerica. A Modeling Language for Global Optimization, MIT Press, 1997.
29. Van Hentenryck, P., McAllester, D., and Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach, SIAM Journal on Numerical Analysis 34 (2) (1997).