Control-driven constraint propagation

Applied Artificial Intelligence

Volumn 15, Issue 1, 2001, Pages 79-103

  Monfroy, Eric ^a,b  

^a Centrum voor Wiskundeen Informatica   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; INTELLIGENT AGENTS; ITERATIVE METHODS;

CONSTRAINT PROGRAMMING; CONSTRAINT PROPAGATION; COOPERATIVE AGENTS; COORDINATION LANGUAGE; DOMAIN REDUCTION FUNCTIONS;

ARTIFICIAL INTELLIGENCE;

EID: 0012220035     PISSN: 08839514     EISSN: None     Source Type: Journal    
DOI: 10.1080/08839510150204626     Document Type: Article

References (27)

1. Apt, K. R. 1999a. Component-based framework for constraint programming, manuscript.
2. Apt, K. R. 1999b. The essence to constraint propagation. Theoretical Computer Science 221(1-2):179-210.
3. Apt, K. R. 1999c. The rough guide to constraint propagation. In J. Jaffar, ed., Proc. the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), LNCS, 1713. New York: Springer-Verlag, pp. 1-23.
4. Apt, K. R., and E. Monfroy. 1999. Automatic generation of constraint propagation algorithms for small finite domains. In J. Jaffar, ed., Proc. the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), LNCS, 1713. New York: Springer-Verlag, pp. 58-72.
5. Arbab, F. 1995. Coordination of massively concurrent activities, Report CS-R9565, CWI, Amsterdam, The Netherlands: http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z
6. Arbab, F. 1996. The IWIM model for coordination of concurrent activities. In P. Ciancarini and C. Hankin, eds., Coordination languages and models, LNCS 1061. New York: Springer-Verlag, pp. 34-56.
7. Arbab, F. 1997. Manifold2.0 reference manual. Amsterdam, The Netherlands: CWI.
8. Benhamou, F., and W. Older. 1997. Applying interval arithmetic to real, integer and Boolean constraints. Journal of Logic Programming 32(1):1-24.
9. Codognet, P., and D. Diaz. 1996. A simple and efficient Boolean constraint solver for constraint logic programming. Journal of Automated Reasoning 17(1):97-128.
10. Dongarra, J., S. Otto, M. Snir, and D. Walker. 1995. An introduction to the MPI standard, Report CS-95-274, University of Tennessee, Knoxville, Tennessee.
11. Everaars, C. T. H., F. Arbab, and F. J. Burger. 1996. Restructuring sequential Fortran code into a parallel/distributed application. Proc. International Conference on Software Maintenance '96, IEEE, pp. 13-22.
12. Everaars, C. T. H., and B. Koren. 1998. Using coordination to parallelize sparse-grid methods for 3D CFD problems. Parallel Computing 24(7):1081-1106.
13. Geist, A., A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. 1994. PVM 3 user's guide and reference manual. Report ORNL/TM-12187, Oak Ridge National Laboratory, Oak Ridge, Tennessee.
14. Hempel, R., H. Hoppe, U. Keller, and W. Krotz. 1995 PARMACS v6.1 specification, Report, PALLAS GmbH, Hermulheimer Strasse 10, D-50321, Brühl, Germany.
15. Koren, B., P. Hemker, and C. Everaars. 1997. Multiple semi-coarsened multi-grid for 3d cfd. In Proc. 13th AIAA Computational Fluid Dynamics Conference, Snowmass Village, CO, 1997, American Institute of Aeronautics and Astronautics, Reston, VA, pp. 892-902. AIAA-paper 97-2029.
16. Mackworth, A. 1977. Consistency in networks of relations. Artificial Intelligence 8(1):99-118.
17. Mehl, M., T. Müller, K. Popov, and R Scheidhauer. 1995. DFKI Oz user's manual, Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI), Sarrebrucken, Germany.
18. Monfroy, E. 1999. Using "weaker" functions for constraint propagation over real numbers. In J. Carroll, H. Haddad, D. Oppenheim, B. Bryant and G. Lament, eds., Proc. 14th ACM Symposium on Applied Computing, ACM SAC'99, Scientific Computing Track, San Antonio, TX, pp. 553-559.
19. Monfroy, E., and F. Arbab. 2000. Constraints solving as the coordination of inference engines. In Coordination of Internet agents: Models, technologies, and applications. New York: Springer-Verlag, to appear.
20. Monfroy, E., and J.-H. Réty. 1999. Chaotic iteration for distributed constraint propagation. In J. Carroll, H. Haddad, D. Oppenheim, B. Bryant, and G. Lamont, eds., Proc. 14th ACM Symposium on Applied Computing. ACM SAC'99, Artificial Intelligence and Computational Logic Track, San Antonio, TX, pp. 19-24.
21. Monfroy, E., and J.-H. Réty. 1999. Itérations Asynchrones: un Cadre Uniforme pour la Propagation de Contraintes Parallèle et Répartie. In F. Fages, ed., Proc. Journées Francophones de Programmation Logique et Contrainte, Hermès, pp. 123-137. In French.
22. Nguyen, T., and Y. A. Deville, 1998. Distributed arc-consistency algorithm. Science of Computer Programming 30(1-2):227-250.
23. Papadopoulos, G. A., and F. Arbab. 1997. Control-driven coordination programming in shared dataspace. In Proc. Fourth International Conference on Parallel Computing Technologies (PaCT-97), LNCS, 1277. New York: Springer-Verlag, Yaroslavl, Russia, pp. 247-261.
24. Papadopoulos, G. A., and F. Arbab. 1998. Coordination models and languages. Advances in Computers, The Engineering of Large Systems, Vol. 46, pp. 329-400.
25. Seredynski, F., P. Bouvry, and F. Arbab. 1997. Parallel evolutionary computation: Multi agents genetic algorithm. In E. Luque, A. R. Hurson, and H. El-Rewini, eds., Proc. International Conference on Parallel and Distributed Systems (Euro-PDS'97), pp. 293-298, Barcelona, Spain.
26. Yokoo, M., E. Durfee, T. Ishida, and K. Kuwabara. 1998. Distributed constraint satisfaction problem: Formalization and algorithms. IEEE Trans. Knowledge and Data Engineering 10(5): 673-685.
27. Zhang, Y., and A. K. Mackworth. 1991. Parallel and distributed algorithms for finite constraint satisfaction problems. In Proc. 3rd Symposium on Parallel and Distributed Processing (SPDP'91), pp. 394-397.