CSCI5240 Combinatorial Search and Optimization with Constraints

PLEASE DOWNLOAD AND READ: Student/Faculty Expectations in Teaching and Learning

Teacher: Prof. Jimmy Lee, SHB 1009, x38426, jlee@cse.cuhk.edu.hk

Lectures: Mon 10:30am-11:15am (ERB 401); Wed 9:30am-11:15am (ERB 713)

Text

1.          A MiniZinc Tutorial, Kim Marriott and Peter J. Stuckey, 2016

References

1.          Constraint Processing, Rina Dechter, Morgan Kaufmann, 2003

2.          Foundations of Constraint Satisfaction, Edward Tsang, Academic Press, 1993

3.          Programming with Constraints: An Introduction, Kim Marriott and Peter J. Stuckey, The MIT Press, 1998

4.          Principles of Constraint Programming, Krzysztof R. Apt, Cambridge University Press, 2003

(Check out the Errata of the book)

Software

You can download the MincZinc IDE (Windows, Mac OS X, Linux) from here.

Schedule:

2018 Jan8

Promo Video

15

22

††

29

Feb5

12

19

26

Mar5

12

19

26

Apr2

9

 

16

 

 

Useful Links:

Success stories of constraint programming at 4C

Constraints Archive

The Byte CLP article

The CSPLib

CIspace

On-line Constraint Guide

The Mystery Shoppers Problem

V. Kumarís article

 

On-line Prolog Guide

Stuckey & Marriot Materials (mirrored)

D. McAllesterís article

 

 

Assessment Scheme:

Assignments

60%

Final Examination

40%

 

 

University Guideline for Plagiarism

Attention is drawn to University policy and regulations on honesty in academic work, and to the disciplinary guidelines and procedures applicable to breaches of such policy and regulations. Details may be found at http://www.cuhk.edu.hk/policy/academichonesty/. With each assignment, students will be required to submit a statement that they are aware of these policies, regulations, guidelines and procedures.