An On-line Course on Constraint Programming

Christine Solnon
Universitå Lyon, France

Ladda ner artikel

Ingår i: Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Linköping Electronic Conference Proceedings 12:1, s. 11-17

Visa mer +

Publicerad: 2004-10-04


ISSN: 1650-3686 (tryckt), 1650-3740 (online)


This paper describes an on-line course on constraint programming. This course is dedicated to students of the “e-miage” formation; which is a french remote formation to “Information Systems for Companies Management”.


Inga nyckelord är tillgängliga


[1] K.R. Apt: Principles of Constraint Programming; Cambridge University Press; August 2003; 407 pages. ISBN: 0521825830.

[2] Roman Bart`ak: On-line guide to constraint programming http://kti.ms.mff.cuni.cz/bartak/constraints/

[3] Lewis Carrol: Symbolic Logic; 1896 http://durendal.org/lcsl/

[4] e-miage: http://www.u-picardie.fr/cochard/IEM/

[5] Ian P. Gent and Patrick Prosser: an empirical study of the stable marriage problem with ties and incomplete lists; in the proceedings of ECAI 2002; IOS Press; pp 141–145

[6] Fran¸cois Fages: Programmation Logique par Contraintes; Collection ”Cours de l’Ecole Polytechnique”; Ellipses; Paris; 1996.

[7] T. Fr¨uhwirth and S. Abdennadher: Essentials of Constraint Programming; Springer Verlag; March 2003.

[8] GNU-Prolog: http://gnu-prolog.inria.fr/

[9] K. Marriott and P.J. Stuckey: Programming with Constraints: An Introduction; The MIT Press; 1998

[10] E. Tsang: Foundations of Constraint Satisfaction; Academic Press; 1993

Citeringar i Crossref