Skip to main content
SpringerLink
Log in
Book cover

International Summer School on Constraints in Computational Logics

CCL 1999: Constraints in Computational Logics pp 271–309Cite as

Building Industrial Applications with Constraint Programming

  • Chapter
  • First Online:

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

Abstract

In this chapter1 we will give an overview of real-life applications developed with constraint logic programming. Constraint logic programming (CLP) combines declarative logic based programming with specialised constraint solving methods from arti_cial intelligence, Operations Research (OR) and mathematics. It allows the clear and concise expression of a wide class of combinatorial problems together with their e_cient solution. In parallel with ongoing research in this field, CLP is now increasingly used to tackle real world decision making problems. In a first part of the chapter, we will briefly present the methods and tools used for CLP and describe typical application areas. We introduce the concepts of global constraints, meta-heuristics and constraint visualisation, which are central to large scale constraint solving.

Supported by the ESPRIT working group CCL-II, ref. WG # 22457.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Aggoun, N. Beldiceanu. Extending CHIP in Order to Solve Complex Scheduling Problems. Journal of Mathematical and Computer Modelling, Vol. 17, No. 7, pages 57–73 Pergamon Press, 1993.

    Article  Google Scholar 

  2. G. Baues, P. Kay, P. Charlier. Constraint Based Resource Allocation for Airline Crew Management. In Proceedings ATTIS 94, Paris, April 1994.

    Google Scholar 

  3. N. Beldiceanu, E. Bourreau, P. Chan, D. Rivreau. Partial Search Strategy in CHIP. In Proceedings 2nd Int. Conf on Meta-heuristics, Sophia-Antipolis, France, July 1997.

    Google Scholar 

  4. N. Beldiceanu, E. Bourreau, D. Rivreau, H. Simonis. Solving Resource-Constrained Project Scheduling Problems with CHIP. Fifth International Workshop on Project Management and Scheduling, Poznan, Poland, April 1996.

    Google Scholar 

  5. N. Beldiceanu, E. Contejean. Introducing Global Constraints in CHIP. Journal of Mathematical and Computer Modelling, Vol. 20, No. 12, pp 97–123, 1994.

    Article  MATH  Google Scholar 

  6. Nicolas Beldiceanu. Global constraints as graph properties on a structured network of elementary constraints of the same type. In Rina Dechter, editor, Principles and Practice of Constraint Programming-CP 2000, volume 1894 of Lecture Notes in Computer Science, pages 52–66, Singapore, September 2000. Springer-Verlag.

    Chapter  Google Scholar 

  7. J. Bellone, A. Chamard, C. Pradelles. PLANE-An Evolutive Planning System for Aircraft Production. In Proceedings First International Conference on the Practical Application of Prolog. 1–3 April 1992, London.

    Google Scholar 

  8. F. Berthier. Solving Financial Decision Problems with CHIP. In Proceedings 2nd Conf Economics and AI, Paris 223–238, June 1990.

    Google Scholar 

  9. R. Bisdorff, S. Laurent, E. Pichon. Knowledge Engineering with CHIP-Application to a Production Scheduling Problem in the Wire-Drawing Industry. In Proceedings 3rd Conf Practical Applications of Prolog (PAP95), Paris, April 1995.

    Google Scholar 

  10. A. Bockmayr, T. Kasper. Branch and Infer-A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS J. Computing 10(3) 287–300, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  11. P. Bouzimault, Y. Delon, L. Peridy. Planning Exams Using Constraint Logic Programming. In Proceedings 2nd Conf Practical Applications of Prolog, London, April 1994.

    Google Scholar 

  12. Mats Carlsson, Greger Ottosson, and Björn Carlson. An open-ended finite domain constraint solver. In H. Glaser, P. Hartel, and H. Kucken, editors, Programming Languages: Implementations, Logics, and Programming, volume 1292 of Lecture Notes in Computer Science, pages 191–206, Southampton, September 1997. Springer-Verlag.

    Chapter  Google Scholar 

  13. A. Chamard, F. Deces, A. Fischler. A Workshop Scheduler System written in CHIP. In Proceedings 2nd Conf Practical Applications of Prolog, London, April 1994.

    Google Scholar 

  14. P. Chan, K. Heus, G. Weil. Nurse Scheduling with Global Constraints in CHIP: Gymnaste. In Proceedings Practical Applications of Constraint Technology (PACT 1998), London, March 1998.

    Google Scholar 

  15. C. Chiopris, M. Fabris. Optimal Management of a Large Computer Network with CHIP. In Proceedings 2nd Conf Practical Applications of Prolog, London, April 1994.

    Google Scholar 

  16. C. Collignon. Gestion Optimisee de Ressources Humaines pour l’Audiovisuel. In Proceedings CHIP Users’ Club, Massy, France, November, 1996.

    Google Scholar 

  17. A. Colmerauer. An Introduction to Prolog III. CACM 33(7), 52–68, July 1990.

    Google Scholar 

  18. T. Creemers, L. R. Giralt, J. Riera, C. Ferrarons, J. Rocca, X. Corbella. Constrained-Based Maintenance Scheduling on an Electric Power-Distribution Network. In Proceedings Conf Practical Applications of Prolog (PAP95), Paris, April 1995.

    Google Scholar 

  19. M. Dincbas, H. Simonis, P. Van Hentenryck. Extending Equation Solving and Constraint Handling in Logic Programming. In Colloquium on Resolution of Equations in Algebraic Structures (CREAS), Texas, May 1987.

    Google Scholar 

  20. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS’88), pages 693–702, Tokyo, 1988.

    Google Scholar 

  21. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun and T. Graf. Applications of CHIP to Industrial and Engineering Problems. In Proceedings First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, USA, June 1988.

    Google Scholar 

  22. M. Dincbas, H. Simonis and P. Van Hentenryck. Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming 8, pages 75–93, 1990.

    Article  MATH  Google Scholar 

  23. M. Dincbas, H. Simonis. APACHE-A Constraint Based, Automated Stand Allocation System. In Proceedings of Advanced Software Technology in Air Transport (ASTAIR’91). Royal Aeronautical Society, London, UK, 23–24 October 1991, pages 267–282.

    Google Scholar 

  24. M. Dincbas, H. Simonis, P. Van Hentenryck. Solving the Car Sequencing Problem in Constraint Logic Programming. In Proceedings European Conference on Artificial Intelligence (ECAI-88), Munich, W. Germany, August 1988.

    Google Scholar 

  25. M. Dincbas, H. Simonis, P. Van Hentenryck. Solving a Cutting-Stock Problem with the Constraint Logic Programming Language CHIP. Journal of Mathematical and Computer Modelling, Vol. 16, No. 1, pp. 95–105, Pergamon Press, 1992.

    Article  MATH  Google Scholar 

  26. A. Dubos, A. Du Jeu. Application EPPER Planification des Agents Roulants. In Proceedings CHIP Users’ Club, Massy, France, November 1996.

    Google Scholar 

  27. R. Fourer, D. Gay, B.W. Kernigham. AMPL-A Modelling Language for Mathematical Programming. The Scientific Press, San Francisco, CA, 1993.

    Google Scholar 

  28. T. Fruewirth, A. Herold, V. Kuchenhoff, T. Le Provost, P. Lim, M. Wallace. Constraint Logic Programming-An Informal Introduction. In Logic Programming in Action. Springer Verlag LNCS 636, 3–35, 1992.

    Google Scholar 

  29. C. Gervet. LSCO Methodology-The CHIC2 Experience. In DIMACS workshop of constraint programming and large scale discrete optimization, Rutgers University, September 1998.

    Google Scholar 

  30. F. Glaisner, L.M. Richard. FORWARD-C: A Refinery Scheduling System. In Proceedings Practical Applications of Constraint Technology (PACT97), London, March 1997.

    Google Scholar 

  31. T. Graf, P. Van Hentenryck, C. Pradelles, L. Zimmer. Simulation of Hybrid Circuits in Constraint Logic Programming. In Proceedings IJCAI89, Detroit, August 1989.

    Google Scholar 

  32. W.D. Harvey, M.L. Ginsberg. Limited Discrepancy Search. In Proceedings IJCAI95, 1995.

    Google Scholar 

  33. J. Jaffar, J.L. Lassez. Constraint Logic Programming. In Proceedings 14th POPL, Munich, 1987.

    Google Scholar 

  34. J. Jaffar M. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19/20:503–581, 1994.

    Article  MathSciNet  Google Scholar 

  35. T. Kasper. A Unifying Logical Framework for Integer Programming and Finite Domain Constraint Programming. PhD Thesis, Universitat des Saarlandes, 1998.

    Google Scholar 

  36. P. Kay, H. Simonis. Building Industrial CHIP Applications from Reusable Software Components. In Proceedings Practical Applications of Prolog (PAP95), Paris, April 1995.

    Google Scholar 

  37. F. Laburthe. Contraintes et Algorithmes en Optimisation Combinatoire. PhD Thesis, University Paris VII, 1998.

    Google Scholar 

  38. K. Mariott, P. Stuckey. Programming with Constraints-An Introduction. MIT Press, Cambridge MA, 1998.

    Google Scholar 

  39. M. Perrett. Using Constraint Logic Programming Techniques in Container Port Planning. ICL Technical Journal, May, 1991, pp 537–545.

    Google Scholar 

  40. C. Schulte. Oz Explorer: A Visual Constraint Programming Tool. In Proceedings of the Fourteenth International Conference On Logic Programming, Leuven, Belgium, pages 286–300. The MIT Press, July 1997.

    Google Scholar 

  41. H. Simonis, N. Nguyen, M. Dincbas. Verification of Digital Circuits using CHIP. In G. Milne (Ed.), The Fusion of Hardware Design and Verification, pages 421–442, North Holland, Amsterdam, 1988.

    Google Scholar 

  42. H. Simonis, M. Dincbas. Propositional Calculus Problems in CHIP. In A. Colmerauer and F. Benhamou, Editors, Constraint Logic Programming-Selected Research, pages 269–285, MIT Press, 1993.

    Google Scholar 

  43. H. Simonis. Scheduling and Planning with Constraint Logic Programming. Tutorial Practical Applications of Prolog (PAP95), London, UK, April 1995.

    Google Scholar 

  44. H. Simonis, T. Cornelissens. Modelling Producer/Consumer Constraints. In Proceedings Principles and Practice of Constraint Programming (CP95), Cassis, France, September 1995.

    Google Scholar 

  45. H. Simonis. Application Development with the CHIP System. In Proceedings Contessa Workshop, Friedrichshafen, Germany, September 1995, Springer LNCS.

    Google Scholar 

  46. H. Simonis. A Problem Classification Scheme for Finite Domain Constraint Solving. In Workshop on Constraint Applications, CP96, Boston, August 1996.

    Google Scholar 

  47. H. Simonis. Calculating Lower Bounds on a Resource Scheduling Problem. In Workshop on Constraint Programming, ASIAN96, Singapore, December 1996

    Google Scholar 

  48. H. Simonis. Standard Models for Finite Domain Constraint Solving. Tutorial at Practical Applications of Constraint Technology (PACT97), London, UK, April 1997.

    Google Scholar 

  49. H. Simonis. Visual CHIP-A Visual Language for Defining Constraint Programs. CCL II workshop, September 1997.

    Google Scholar 

  50. H. Simonis. More Standard Constraint Models. Tutorial at Practical Applications of Constraint Technology (PACT98), London, UK, March 1998.

    Google Scholar 

  51. H. Simonis, P. Charlier. COBRA-A System for Train Crew Scheduling. In DIMACS Workshop on Constraint Programming and Large Scale Combinatorial Optimization, Rutgers University, New Brunswick, NJ, September, 1998.

    Google Scholar 

  52. H. Simonis and A. Aggoun. Search-tree visualization. In P. Deransart, J. Maluszynski, and M. Hermenegildo, editors, Analysis and Visualisation Tools for Constraint Programming. Springer LNCS 1870, 2000.

    Google Scholar 

  53. H. Simonis, A. Aggoun, N. Beldiceanu, and E. Bourreau. Global constraint visualization. In P. Deransart, J. Maluszynski, and M. Hermenegildo, editors, Analysis and Visualisation Tools for Constraint Programming. Springer LNCS 1870, 2000.

    Google Scholar 

  54. H. Simonis, P. Charlier, and P. Kay. Constraint handling in an integrated transportation problem. IEEE Intelligent Systems and their applications, 15(1):26–32, 2000.

    Article  Google Scholar 

  55. H. Simonis, T. Cornelissens, V. Dumortier, G. Fabris, F. Nanni, and A. Tirabosco. Using constraint visualization tools. In P. Deransart, J. Maluszynski, and M. Hermenegildo, editors, Analysis and Visualisation Tools for Constraint Programming. Springer LNCS 1870, 2000.

    Google Scholar 

  56. Gert Smolka. The Oz programming model. In Jan van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science, vol. 1000, pages 324–343. Springer-Verlag, Berlin, 1995.

    Chapter  Google Scholar 

  57. R. Szymanek, F. Gruian, K. Kuchcinski. Application of Constraint Programming to Digital Systems Design. In Workshop on Constraint Programming for Decision and Control, Institute for Automation, Silesian University of Technology, Gliwice, Poland, June 1999.

    Google Scholar 

  58. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Boston, MA, 1989.

    Google Scholar 

  59. P. Van Hentenryck. The OPL Optimization Programming Language. MIT Press, Cambridge MA, 1998.

    Google Scholar 

  60. P. Van Hentenryck, H. Simonis, M. Dincbas. Constraint Satisfaction using Constraint Logic Programming. Journal of Artificial Intelligence, Vol.58, No. 1–3, pp.113–161, USA, 1992.

    Article  MATH  Google Scholar 

  61. P. Van Hentenryck, J-P. Carillon. Generality versus Specificity: an Experience with AI and OR Techniques. In Proceedings American Association for Artificial Intelligence (AAAI-88), St. Paul, MI, August 1988.

    Google Scholar 

  62. M. Wallace. Practical Applications of Constraint Programming. Constraints Journal, Vol 1, Nr1, 2, Sept 1996, pp 139–168.

    Google Scholar 

  63. M. Wallace, S. Novello, and J. Schimpf. ECLiPSe-a platform for constraint programming. ICL Systems Journal, 12(1):159–200, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. COSYTEC SA, Orsay, France

    Helmut Simonis

Authors
  1. Helmut Simonis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Karlsruhe University, Germany

    Gerhard Goos

  2. Cornell University, NY, USA

    Juris Hartmanis

  3. Utrecht University, The Netherlands

    Jan van Leeuwen

  4. Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, 61, avenue du Président Wilson, 94234, Cachan Cedex, France

    Hubert Comon

  5. Laboratoire de Recherche en Informatique, Université Paris-Sud, Bâtiment 490, 91405, Orsay Cedex, France

    Claude Marché  & Ralf Treinen  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Simonis, H. (2001). Building Industrial Applications with Constraint Programming. In: Goos, G., Hartmanis, J., van Leeuwen, J., Comon, H., Marché, C., Treinen, R. (eds) Constraints in Computational Logics. CCL 1999. Lecture Notes in Computer Science, vol 2002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45406-3_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45406-3_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41950-1

  • Online ISBN: 978-3-540-45406-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation