Article | Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 | An On-line Course on Constraint Programming

Title:
An On-line Course on Constraint Programming
Author:
Christine Solnon: Universitå Lyon, France
Download:
Full text (pdf)
Year:
2004
Conference:
Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Issue:
012
Article no.:
001
Pages:
11-17
No. of pages:
7
Publication type:
Abstract and Fulltext
Published:
2004-10-04
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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”.

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Author:
Christine Solnon
Title:
An On-line Course on Constraint Programming
References:

[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

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Author:
Christine Solnon
Title:
An On-line Course on Constraint Programming
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment