Resources

Handouts

Here you will find all handouts given out during the course

MiniZinc Resources

MiniZinc Tutorial: a quite detailed document introducing MiniZinc. Note that it will be modified as semester progresses.
MiniZinc Tutorial Files: All the .mzn and .dzn files used in the tutorial.
MiniZinc home page Where to download MiniZinc and FlatZinc interpreters
MiniZinc Wiki which includes example models, globals and tests and other info on MiniZinc

Previous Exams

Constraint programming subjects before 2008 taught constraint programming using Sicstus Prolog, and covered material that we dont cover on: constraint logic programming, solving algorithms, projection algorithms. We cover new material on: network flow, mixed integer programming Boolean satisfiability, lazy clause generation and of course modelling in MiniZinc.

Textbooks

Programming with Constraints: an Introduction. Kim Marriott and Peter J. Stuckey, MIT Press. 1998. The basis of half the course.
Operations Research: Applications and Algorithms. Wayne L. Winston, Brooks Cole, 1998. The basis of the other half, in particular linear programming, network flow and mixed integer programming
Principles of Constraint Programming. Krzysztof Apt. Cambridge. 2003. A highly theoretical book, interesting and well written.

Constraint Programming Resources

How a propagation engine works: Technical paper but with a detailed desciption about the design choices in a modern constraint programming engine.
domain consistent alldifferent: Technical paper but a detailed and readable account of the alldifferent propagator.
Lazy clause generation: Technical paper defining lazy clause generation formally.
The ECLiPSe constraint programming language, developed at ECRC and IC-Parc, now owned by Cisco.
The Sicstus Prolog constraint programming language, developed at SICS
Roman Bartak's Constraint Programming guide has several tutorials on CP
A website that is incomplete but has an introduction to CP and many links.
The CHR website
WebCHR, an online interface to a CHR system
CSPLib, a library of constraint programming problems
The Association for Constraint Programming
CP Online provides a wide range of CP resources, including CP software
There are slides based on the book Programming with Constraints: an Introduction by Kim Marriott and Peter J. Stuckey
A 1994 survey of constraint logic programming

Remote access

If you want to login to the CSSE servers from home to complete lab work or work on your projects you can use PuTTy if your using Windows or SSH from the command line if you are using Mac OS X or Linux.
When using PuTTy enter "student-random.csse.unimelb.edu.au" as the server hostname / address, port 22 and ensure the connection type is SSH - you will be prompted for your University username and password.
When using SSH from the command line, simply launch with: "ssh youruniversityusername@student-random.csse.unimelb.edu.au" - you will be prompted for your University account password.