To avoid spam, all mail addresses on this page have the "@" replaced by "#".

Introduction to Constraint Programming, Fall 2002 (Period 2)

Latest update Thursday, 26-Jun-2003 12:21:23 CEST, [an error occurred while processing this directive] visitors since 07/11/2002.

Table of Contents

Latest News

03-29; Assignment 3 available.
03-12: Extended deadline for the assignments and labs is set to 2003-05-31.
03-12: Lab 4 is no longer a part of the course.
03-05: Minor typo in assignment 1 corrected.
01-15: Realized today that the slides from the two last lectures were not on the homepage. They are now.
01-13: Minor update for Lab 2.
01-10: Assignment 2 up as well!
01-09: Lab 2 is finally released officially! Yippie!!!
12-20: Scilab link added.
12-13: Slides from heuristics lecture added.
12-10: Slides from lecture 5 added.
12-02: Prolog slides (lecture 4) available!
11-29: Corrected slides.
11-25: Slides from lecture 3 added.
11-22: Introductory slides in Prolog programming can be found here.
11-22: Think about how to represent constraints in lab 1! The compound label representations is pretty wasteful and not always nice to work with...
11-22: Deadline for the assignments and labs is set to 2003-03-15, 24:00.
11-22: Corrections to assignment 1 and lab 1.
11-14: Added lab 1.
11-14: Added assignment 1.
11-14: Added slides from the second lecture.
11-12: Added slides from the first lecture.
11-08: Small corrections.
11-07: Course material, assignments, labs and lecture notes will be added soon.
11-07: Schedule fixed: Fridays 10:15-12:00 in the Turing room.
11-07: Link to SICStus Prolog added. 11-07: Links to two online guides by Roman Bartak: a Prolog Guide and a Constraint Programming Guide.

General Information

Introduction to Constraint Programming is a PhD level course that is given by Dept. of Computer Science and Engineering (IDt) at Mälardalen University, in collaboration with SICS. It yields 5 credits.

The general contents and prerequisites are described in the course plan (in Swedish, preliminary).

The course is open to any PhD students, from any university (your respective main advisors will decide its appropriateness). Anyone is invited to follow the lectures without taking the examination.

Teachers

Course leader: Per Kreuger, SICS (Kista)
Email: piak#sics.se

Course assistant: Markus Bohlin
SICS (Västerås)
Email: bola#sics.se
Phone (MdH): 021-107023
Office: room 390 (the SICS room), IDt (Vargens Vret, 2nd floor)

Local contact for course: Björn Lisper
Email: bjorn.lisper#mdh.se
Phone (MdH): 021-151709
Office: room 375, IDt (Vargens Vret, 2nd floor)

Signup

Signup for the course is by email to bola#sics.se. The mail should contain: name, "personnummer", home university and department (if different from MdH, IDt), and email address.

Mailing List

We will set up a mailing list constraints02#idt.mdh.se, that is used for rapid distribution of important course information to the students. (You can also use it yourself if you want to reach the course participants in some important matter.) All students who register for the course will become members of the mailing list. If, for some reason, you don't want to be included, (or, if we somehow miss to put you on the list), then please mail Markus about it.

Schedule

The course will take place in period 2 (weeks 44-51), with start week 45. The first lecture in the course will take place Thursday Nov 7, 13.15-15.00, in the Turing room at IDt.

The schedule is now fixed (?), we will be in the Turing room at IDt.

Slides

Lecture 1: fullscreen gzip'ed postscript, fullscreen PDF, 2 slides/page gzip'ed postscript, 2 slides/page PDF

Lecture 2: fullscreen gzip'ed postscript, fullscreen PDF, 2 slides/page gzip'ed postscript, 2 slides/page PDF

Lecture 3: fullscreen gzip'ed postscript, fullscreen PDF, 2 slides/page gzip'ed postscript, 2 slides/page PDF

Prolog lecture: fullscreen gzip'ed postscript, fullscreen PDF, 2 slides/page gzip'ed postscript, 2 slides/page PDF

Lecture 4: fullscreen gzip'ed postscript, fullscreen PDF, 2 slides/page gzip'ed postscript, 2 slides/page PDF

Heuristics lecture: fullscreen gzip'ed postscript, w/ animations (DO NOT PRINT), fullscreen PDF, w/ animations (DO NOT PRINT), 2 slides/page gzip'ed postscript, 2 slides/page PDF

Lecture 5: fullscreen gzip'ed postscript, fullscreen PDF, 2 slides/page gzip'ed postscript, 2 slides/page PDF

Lecture 6: fullscreen gzip'ed postscript, fullscreen PDF, 2 slides/page gzip'ed postscript, 2 slides/page PDF

Course Contents

See the course plan (in Swedish, preliminary).

Examination

The examination on the course will be 3 assignments to be handed in and corrected, and 3 labs.

Project

We will have 3 programming tasks to solve. As a programming tool we recommend SICStus Prolog,but the labs can be solved using any programming language.

Assignment

Literature

We will not order any copies of the books, since we are not sure about the turnout. It is, however. simple to order from the places referenced above.

Extra Course Material

Will appear here.

Links

Course Evaluation

Not yet!


Viewable With Any Browser

Björn Lisper
bjorn.lisper#mdh.se