Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Principles and Practice of Constraint Programming

PPCP 1994: Principles and Practice of Constraint Programming pp 299–311Cite as

On the design of constraint satisfaction problems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 874))

Abstract

The development of a system based on constraint programming includes two main phases: first, the problem to be solved is formulated as a constraint satisfaction problem; then, the formulation is implemented in a constraint-programming language. Constraint-programming research has mainly concentrated on the second phase, by studying powerful declarative languages that automatically propagate the constraints stated in a program. Nevertheless, when developing a solution to a real-world problem, the cost due to the first phase, is often more relevant. This paper addresses the issues of what a model of real-world constraint satisfaction problems should be and how it should be constructed.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Borning, Thinglab: A Constraint-Oriented Simulation Laboratory, Ph.D. Thesis, Stanford University, CA, 1979.

    Google Scholar 

  2. Bull S.A. Ed.: Manuel Charme First, Bull Publication No. 95-F2-52GN-REVO, Annexe A, pages 29–49, Paris, France, 1991.

    Google Scholar 

  3. Y. C. Chan, Practical Constraint-Based Programming: Solving Problems with the Charme Language, John Wiley & Sons Publisher, to appear, 1994.

    Google Scholar 

  4. M. D'Andréa, Scheduling and Optimization in the Automobile Industry, Lecture Notes in Artificial Intelligence, vol. 636, G. Comyn, N. E. Fuchs, Ratcliffe (Editors), Springer Verlag, 1992.

    Google Scholar 

  5. B. Freeman-Benson, A. Borning, Integrating Constraints with an Object-Oriented Language, Proc. of the 1992 European Conference on Object-Oriented Programming, June 1992.

    Google Scholar 

  6. M. Fowler, A Comparison of Object-Oriented Analysis and Design Methods, in Approaches to Object-Oriented Analysis and Design, A. Carmichael Ed., Ashgate, 1993.

    Google Scholar 

  7. V. Gosselin, Train Scheduling Using Constraint Programming Techniques”, Actes 13eme Journée International sur les Systèmes Expert et Leur Application, Avignon, 1993.

    Google Scholar 

  8. D. R. Harris, A Hybrid Object and Constraint Representation Language, AAAI-86, Philadelphia, Pennsylvania, 1986.

    Google Scholar 

  9. T. Kökény: CSPOO: Un Système à Résolution de Contraintes Orienté Objet, Réprésentation Par Objet, La Grande Motte, pages 39–49, July 1993.

    Google Scholar 

  10. V. Kumar: Algorithms for Constraint Satisfaction Problems: a Survey. AI Magazine, 13, 1992, 32–44.

    Google Scholar 

  11. M. Leconte, F. Leyter, Update Specification of Logic Constraint Programming Methodology, Deliverable D2.1.2.2, CHIC Esprit Project 5291, July 1993.

    Google Scholar 

  12. J. Marcovich, Y. Tourbier, Une Application de la Programmation par Contraintes: Construction de Plans d'Experience Orthogonaux au Sens Strict avec Condor, Actes des Journées Internationales d'Avignon, 1989.

    Google Scholar 

  13. B. A. Myers, D. A. Giuse, B. Vander Zanden, Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods, OOPSLA'92, 184–200, 1992.

    Google Scholar 

  14. B. Nadel, Some Applications of the Constraint Satisfaction Problem, Tech. Report CSC-90-008, Dept. of C.S., Wayne State University, Detroit, MI, 1990.

    Google Scholar 

  15. A. Oplobedu, Charme: un Langage Industriel de Programmation par Contraintes, Actes 9eme Journée International sur les Systèmes Expert et Leur Applications, Vol. 1, 55–70, Avignon, 1989.

    Google Scholar 

  16. M. Paltrinieri, A. Momigliano, F. Torquati, Scheduling of an Aircraft Fleet, AAAI Tech. Rep. SS-92-01. Also as NASA Tech. Rep. FIA-92-17, NASA Ames, Moffet Field, CA, USA, 1992.

    Google Scholar 

  17. J.-F. Puget, Programmation Par Contraintes Orientée Objet, 12th International Conference on AI, ES and NL, 129–138, Avignon, France, 1992.

    Google Scholar 

  18. A. Roth, Constraint Programming: A Practical Solution to Complex Problems, AI Expert, pages 36–39 Sept. 1993.

    Google Scholar 

  19. D. Srivastava, R. Ramakrishnan, P. Z. Revesz: Constraint Objects, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.

    Google Scholar 

  20. I. Sutherland, A Man-Machine Graphical Communication System, PhD Thesis, MIT, 1963.

    Google Scholar 

  21. S. Thennarangam, G. Singh: Inferring 3-dimensional Constraints with DEVI, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.

    Google Scholar 

  22. P. Van Hentenryck: Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, Massachusetts, 1989.

    Google Scholar 

  23. M. Wilk, Equate: An Object-Oriented Constraint Solver, OOPSLA '91, pages 286–298, Phoenix, October 1991.

    Google Scholar 

Download references

Author information

Author notes

  1. Massimo Paltrinieri

    Present address: Département de Mathématiques et d'Informatique, Ecole Normale Supérieure, 45 rue d'Ulm - Pavillion P1, 75005, Paris, France

Authors and Affiliations

  1. Bull S.A., Rue Jean Jaurès, B.P. 68, 78340, Les Clayes Sous Bois, France

    Massimo Paltrinieri

Authors
  1. Massimo Paltrinieri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alan Borning

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Paltrinieri, M. (1994). On the design of constraint satisfaction problems. In: Borning, A. (eds) Principles and Practice of Constraint Programming. PPCP 1994. Lecture Notes in Computer Science, vol 874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58601-6_108

Download citation

  • DOI: https://doi.org/10.1007/3-540-58601-6_108

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58601-2

  • Online ISBN: 978-3-540-49032-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation