Resources

[Publications] [Journals] [Conferences] [Workshops] [Links]

This page contains a collection of resources related to constraint programming. I intend to update this page continuously as well as to add annotations to each reference so that you will be more informed about it before "surfing".

Contributions to this page are very welcomed.

Printed publications

Handbook of Constraint Programming

F. Rossi, P. Van Beek, T. Walsh (eds.), Elsevier, 2006

Semirings for Soft Constraint Solving and Programming

S. Bistarelli, Springer Verlag, LNCS 2962, 2004

Constraint Processing

R. Dechter, Morgan Kaufmann, 2003

Principles of Constraint Programming

K. Apt, Cambridge Universiry Press, 2003

Programming with Constraints: An Introduction

K. Marriott and P.J. Stuckey, The MIT Press, 1998
Foundations of Constraint Satisfaction

E. Tsang, Academic Press, 1993
Constraint Satisfaction in Logic Programming

P. Van Hentenryck, Logic Programming Series, The MIT Press, 1989

Journals

CONSTRAINTS, An International Journal

The journal covers all aspects of computing with constraints: theory and practice, algorithms and systems, reasoning and programming, logics and languages.
Constraint Programming Letters

Constraint Programming Letters (CPL) provides an international forum for the electronic publication of high-quality scholarly articles on constraint programming. All published papers are freely available online.

Journal of Logic Programming

The journal covers topics from logic programming in general and it also contains some papers on constraints and Constraint Logic Programming (CLP), in particular.
Journal of Artificial Intelligence

The journal covers all topics from artificial intelligence (AI). Because the earliest ideas leading to constraint programming originates from AI, it is possible to find papers interesting to constraint programming community there as well.

Conferences

International Conference on Principles and Practice of Constraint Programming (CP)

The main conference on constraints that reports the state of the art in CP.
Actual conference: CP99, October 11-15, 1999, Alexandria, Virginia, USA
The Practical Application of Constraint Technology (PACT)
The conference demonstrates the application of constraints and Constraint Logic Programming to industrial problems.
Organized by The Practical Application Company
Actual conference: PACLP2000, April 10-12, 2000, Manchester, UK

International Joint Conference on Artificial Intelligence (IJCAI)
Constraint programming originated in Artificial Intelligence so this conference is a good source of information on new constraint satisfaction techniques.
Actual conference: IJCAI99, July 31 - August 6, 1999, Stockholm, Sweden
European Conference on Artificial Intelligence (ECAI)

Constraint programming originated in Artificial Intelligence so this european conference is a good source of information on new constraint satisfaction techniques.
Organized by the European Coordinating Committee for Artficial Intelligence (ECCAI)
Actual conference: ECAI2000, August 20-25, 2000, Berlin, Germany
International Conference on Logic Programming (ICLP)

Probably the main conference on logic programming and PROLOG, it covers also topics from Constraint Logic Programming.
Actual conference: ICLP99, November 29 - December 4, 1999, Las Cruces USA

Workshops

Workshop on Constraint Programming for Decision and Control (CPDC)

A forum for the exchange of results and ideas on constraint programming for decision and control problems.
Actual workshop: CPDC99, June 28 - 29, 1999, Gliwice, Poland

Web links

Constraints Archive

archive of constraint related material including a directory of people interested in constraints, constraint bibliographies, a collection of on-line papers, a variety of systems and benchmarks, constraint-related pointers, job openings and FAQs.

[Publications] [Journals] [Conferences] [Workshops] [Links]

Contents
Prev

Up
Next

Designed and maintained by Roman Barták

Guide to Constraint Programming	© Roman Barták, 1998
Contents	Prev	Up	Next