Related Books, Papers and Reports
Disclaimer
The material on this page may be copyrighted or may be the property of the respective authors.
Books
-
Constraint Logic Programming using ECLiPSe
- by Krzysztof Apt and Mark Wallace, Cambridge University Press, 2006. A practical introduction to constraint programming and to ECLiPSe, with many examples, appropriate for a one-semester course.
- Programming with Constraints: an Introduction
- by Kim Mariott and Peter Stuckey, MIT Press, 1998. A comprehensive introduction to constraint programming, with examples in ECLiPSe.
Introductory Material
- ECLiPSe by Example
- by J Schimpf and K Shen,
Tutorial given at CP 2007, Providence, USA,
Powerpoint Slides/
PDF Slides
- ECLiPSe: A Tutorial Introduction
- by A M Cheadle, W Harvey, A J Sadler, J Schimpf, K Shen and M G Wallace. IC-Parc, Imperial College London, Technical Report IC-Parc-03-1, 2003. Pdf (old, original version), Pdf (current release), Html (current release), Powerpoint Slides
- Developing Applications with ECLiPSe
- by H Simonis. IC-Parc, Imperial College London, Technical Report IC-Parc-03-2, 2003. Pdf
- ECLiPSe Build-and-Test Setup Guide
- How to build ECLiPSe from the sources.
- ECLiPSe Programming FAQ
- maintained by Karen E. Petrie and Neil Yorke-Smith.
- Tutorials and Articles by Helmut Simonis
- Practical advice about how to do modelling, visualisation, applications, benchmarks, puzzles with CLP.
- Slides on (finite domain) Constraint Logic Programming
- by Andy King, University of Kent, 2004, Powerpoint Slides
- The ECLiPSe Open-Source Optimization Platform
- by J Schimpf and K Shen, Presentation at OSSICP'08 Workshop on Open-Source Software for Integer and Constraint Programming at CPAIOR 2008, Paris, Powerpoint Slides/ PDF Slides
Hybrid Techniques
- University Timetabling in ECLiPSe
- by Marco Gavanelli, in ALP Newsletter, 19(3):2, August 2006. Pdf.
- Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming
- by Kish Shen and Joachim Schimpf, in Prococeedings CP '05, Sitges/Spain, LNCS 3709, Springer Verlag, 2005, Pdf, Powerpoint Slides
- Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
- by Sadler A and Gervet C, in Prococeedings CP '04, Toronto , LNCS Springer Verlag, 2004. Pdf
- Problem Decomposition for Traffic Diversions
- by Quanshi Xia, Andrew Eremin and Mark Wallace, in Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR 2004, LNCS 3011, pp 348-363, Springer-Verlag, 2004. Postscript
- Generating Benders Cuts for a General Class of Integer Programming Problems
- by Yingyi Chu and Quanshi Xia, in Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR 2004, LNCS 3011, pp 127-141, Springer-Verlag, 2004. Postscript
- Local Probing Applied to Network Routing
- by Olli Kamarainen and Hani El Sakkout, in Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR 2004, LNCS 3011, pp 173-189, Springer-Verlag, 2004. Pdf
- A Hybrid Multicommodity Routing Algorithm for Traffic Engineering
- by W. Ouaja and B. Richards, NETWORKS, Wiley Periodicals Inc. 43(3):125--140, 2004.
- Hybrid Problem Solving in ECLiPSe
- by F. Ajili and M. Wallace, Chapter 6 in Constraint and Integer Programming: Toward a Unified Methodology, pp. 169-201. Book edited by: Michela Milano. Kluwer Academic Publishers. October 2003.
- A Hybrid Solver for Optimal Routing of Bandwidth-guaranteed Traffic
- by W. Ouaja and B. Richards, Proc. of the International Network Optimization Conference (INOC'03) , pp. 441-447, Evry/Paris, 2003. Postscript
- A Probe-based Algorithm for Piecewise Linear Optimization in Scheduling
- by F. Ajili and H. El Sakkout, In Annals of Operations Research, pp. 118:35-48. January, 2003.
- Using ECLiPSe to solve large-scale piecewise linear scheduling problems
- by Olli Kamarainen. ECLiPSe User Group Newsletter, October 2002. MS Word, Pdf.
- An Improved Hybrid Model for the Generic Hoist Scheduling Problem
- by Riera, D. and Yorke-Smith, N. Annals of Operations Research 115, 173-191, September 2002. Postscript
- Local probing applied to scheduling
- by Olli Kamarainen and Hani El Sakkout, in P. Van Hentenryck (Ed.): Proceedings of 8th International Conference on Principles and Practice of Constraint Programming - CP 2002, Ithaca, NY, USA, September 9-13, 2002. LNCS 2470, pg 155-171. Abstract and Pdf
- LP Probing for Piecewise Linear Optimization in Scheduling
- by Farid Ajili and Hani El Sakkout in Proceedings of 3rd International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR'2001 pg 189--203. Postscript
- Hybrid Benders Decomposition Algorithms in Constraint Logic Programming
- by Eremin A and Wallace M G, in Constraint Logic Programming, in Proceedings of the Seventh International Conference on Principles and Practices of Constraint Programming - CP '01, LNCS 2239, pg 1-15, Springer-Verlag, 2001. Postscript
- Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem
- by Joachim Schimpf and Mark Wallace, in Annals of Mathematics and Artificial Intelligence, 34(4):259--269, 2002. Pdf
- Probe backtrack search for minimal perturbation in dynamic scheduling
- by Hani El Sakkout and Mark Wallace Constraints, 5(4):359--388, 2000 Pdf
- Creating Hybrid Solutions for Inventory Management Problems
- by Rodosek R, Kokeny T, Caseau Y and LePape C, in Proceedings of the ERCIM/Compulog Workshop on Constraints, Hagenberg, 1997. Postscript
- A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
- by Rodosek R and Wallace M G, in Proceedings of the 4th International Conference on Principles and Practice of Constant Programming, pg 385-399, LNCS 1520, Pisa, 1998. Postscript
- A New Approach to Integrating Mixed Integer Programming with Constraint Logic Programming
- by Rodosek R, Wallace M G and Hajian M T, Annals of Operational Research. Recent Advances in Combinatorial Optimization, 1998. Postscript
- Integrating Propagation and Built-in Constraints
- by Thierry Le Provost and Mark Wallace CHIC Deliverable 5.2.31, Postscript
- Using a Subsumption-Based Taxonomy to Construct Networks of Cooperating Decision Procedures
- by Pierre Lim and Mark Wallace [ECRC-92-1i]
Constraints
- High-Level Implementation of Consistency Techniques
- by Joachim Schimpf. 19th National Conference of the Australian Society for Operations Research (ASOR'07) (pdf, ppt)
- On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains"
- by Mark Wallace, Joachim Schimpf, Kish Shen and Warwick Harvey. In CONSTRAINTS Journal, ed. E.C. Freuder,9(1), pp 5-34, Kluwer, 2004. Programs.
- Engineering of Optimisation Projects
- The methodology developed by ESPRIT Project 22165 CHIC-2, 1999.
- ECLiPSe: A Platform for Constraint Logic Programming
- by Mark Wallace, Stefano Novello and Joachim Schimpf. ICL Systems Journal, Volume 12, Issue 1, May 1997, pp. 159-200. (revised version of Technical Report IC-Parc, Imperial College, London, August 1997, Postscript)
- Constraint Programming
- by Mark Wallace. ICL Systems Journal, Volume 12, Issue 1, May 1997, pp. 137-158. (revised version of Technical Report IC-Parc, Imperial College, London, September 1995, Postscript)
- Interval Propagation to Reason about Sets
- by Carmen Gervet. In CONSTRAINTS journal, ed. E.C. Freuder,1(3), pp 191-244, 1997. Postscript
- Terminological reasoning with constraint handling rules
- by Thom Frühwirth and Philippe Hanschke. Chapter in Principles and Practice of Constraint Programming (P. Van Hentenryck and V.J. Saraswat, Eds.), MIT Press, April 1995. postscript
- High-Level Implementations of Constraint Handling Rules
- by Thom Fruehwirth and Pascal Brisset. [ECRC-95-20]
- Constraint Handling Rules
- Chapter in "Constraint Programming: Basics and Trends" (A. Podelski, ed.), Springer LNCS 910, March 1995, pp. 90ff. Postscript. See also CHR home page.
- Open Architecture for CLP
- by Micha Meier and Pascal Brisset. [ECRC-95-10]
- Metaterms with several attributes
- by Pascal Brisset. In Proceedings of the ILPS'93 Workshop on Methodologies for Composing Logic Programs, Vancouver, October 1993. Postscript
- The Handbook of Parallel Constraint Logic Programming Applications
- by Alexander Herold (Ed.) This is the final deliverable of the APPLAUSE ESPRIT project. The main part of the book contains the description of APPLAUSE parallel CLP applications summarizing the experience gathered in the course of the project. ECRC, November 1995. Postscript.
- CHIC Lessons on CLP Methodology
- by André Chamard, Annie Fischler, Dominique-Benoît Guinaudeau and André Guillaud. This is an excellent overview of various methodological issues for CLP programming. 1995.
- Conjunto: Constraint Logic Programming with Finite Set Domains
- by Carmen Gervet. In Proceedings of the International Logic Programming Symposium (ILPS'94), pp 339-358, 1994. Postscript
- A Conservative Approach to Meta-Programming in Constraint Logic Programming
- by Pierre Lim and Joachim Schimpf. Proceedings of the Fifth International Symposium on Programming Language Implementation and Logic Programming, Tallinn, August 1993. Postscript
- Implementation of the ECLiPSe Rational Constraint Solver
- by Pierre Lim. [ECRC-94-23]
- Temporal reasoning with constraint handling rules
- by Thom Frühwirth. [ECRC-94-5]
- Two Problems - Two Solutions: One System - ECLiPSe
- by Mark Wallace, in IEE Colloquium on Advanced Software Technologies for Scheduling, 1993. Postscript
- Constraint Logic Programming - An Informal Introduction
- by Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, and Mark Wallace. [ECRC-93-5]
- Generalised Constraint Propagation Over the CLP Scheme
- by Thierry Le Provost and Mark Wallace. Journal of Logic Programming 16, July 1993. Also [ECRC-92-1]
- Domain-Independent Propagation
- by Thierry Le Provost and Mark Wallace. Proceedings of the FGCS'92, Tokyo, June 1992. Postscript
- The Constraint Logic Programming Language CHIP
- by M. Dincbas and P. Van Hentenryck and H. Simonis and A. Aggoun and T. Graf and F. Berthier. International Conference on FGCS 1988, Tokyo, November 1988.
Planning
Prolog and Tools
- Logical Loops
- by Joachim Schimpf. Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July/August 2002. Proceedings, LNCS 2401, pg 224-238, © Springer-Verlag, Postscript, Pdf, Powerpoint slides, Code.
- A High-Level Generic Interface to External Programming Languages for ECLiPSe
- by Shen K and Schimpf J and Novello S and Singer J., Proceedings of Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Lecture Notes in Computer Science 2257, pg 262-279, © Springer-Verlag, January 2002. Postscript
- Key Features of a Prolog Module System
- by Michel Dorochevsky. [ECRC-TR-DPS-103]
- Shallow Backtracking in Prolog Programs
- by Micha Meier. ECRC Technical Report, 1987 [ECRC-95-11]
- SEPIA - An Extendible Prolog System
- by Micha Meier and Abderrahmane Aggoun and David Chan and Pierre Dufresne and Reinhard Enders and Dominique Henry de Villeneuve and Alexander Herold and Philip Kay and Bruno Perez and Emmanuel van Rossum and Joachim Schimpf. Proceedings of the 11th World Computer Congress IFIP'89, San Francisco, August 1989. Postscript
- Event Handling in Prolog
- by Micha Meier. Proceedings of the North American Conference on Logic Programming, Cleveland, October 1989. [ECRC-95-9]
- SEPIA Programming Environment
- by Micha Meier and Philip Kay and Emmanual van Rossum and Hugh Grant. Proceedings of the NACLP'89 Workshop on Logic Programming Environments: The Next Generation, Cleveland, October 1989. Postscript
- Compilation of Compound Terms in Prolog
- by Micha Meier.
Proceedings of the NACLP'90, Austin, October 1990.
[ECRC-95-12],
code from appendix A
- Garbage Collection for Prolog based on Twin Cells
- by Joachim Schimpf. Proceedings of the NACLP'90 Workshop on LP Architectures, Austin, October 1990. Postscript
- Recursion vs. Iteration in Prolog
- by Micha Meier. Proceedings of the ICLP'91, Paris, June 1991. [ECRC-95-13]
- An Architecture for Prolog Extensions
- by Micha Meier and Joachim Schimpf. Proceedings of the 3rd International Workshop on Extensions of Logic Programming, Bologna, 1992. [ECRC-95-6]
- Control in ECLiPSe
- by Micha Meier and Joachim Schimpf. ECRC Technical report, 1995. [ECRC-95-7]
- Better Late than Never
- by Micha Meier. Implementations of Logic Programming Systems, Kluwer Academic Publishers, 1994. [ECRC-95-8]
- The PADDY Partial Deduction System
- by Steven Prestwich. [ECRC-92-6]
Parallelism
- ECLiPSe Programming Tutorial
- by Steven Prestwich. [ECRC-95-17]
- Parallel CLP on Heterogeneous Networks
- by Shyam Mudambi and Joachim Schimpf. [ECRC-94-17]
- Programmer-Oriented Visualisation of Parallel Logic Program Execution
- by Steven Prestwich and Tony Kusalik. [ECRC-94-7]
- Parallel Speedup Anomalies and Program Development
- by Steven Prestwich. [ECRC-93-12]
- ElipSys Programming Tutorial
- by Steven Prestwich. [ECRC-93-2]
Debugging
- A Debugger for Constraints in Prolog
- by Michael Dahmen. ECRC Technical report ECRC-91-11, 1991.
- Abstract views of Prolog executions in Opium
- by Mireille Ducasse. [ECRC-92-11]
- An Extendable Trace Analyser to Support Automated Debugging
- by Mireille Ducasse. [ECRC-92-33]
- Opium: A high-level debugging environment for Prolog
- by Mireille Ducasse. [ECRC-93-16]
- Debugging Constraint Programs
- by Micha Meier [ECRC-95-15]