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

TA: Allen Zhong, SHB 1005, zwzhong@cse.cuhk.edu.hk

Lectures: Mon 2:30pm-4:15pm (NEW! ERB 803); Tues 2:30pm-3:15pm (ERB 402)

Text

1. The MiniZinc Handbook, Peter J. Stuckey, Kim Marriott and Guido Tack, 2018

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.

Enrollment

You can enroll into the private sessions of the MOOCs using the following links:

1. Basic Modeling for Discrete Optimization

2. Advanced Modeling for Discrete Optimization

3. Solving Algorithms for Discrete Optimization

Or if you have not registered in the course yet, click here.

Private Discussion Forums

You can go to the private session discussion forums of the MOOCs using the following links:

1. Basic Modeling for Discrete Optimization

2. Advanced Modeling for Discrete Optimization

3. Solving Algorithms for Discrete Optimization

Once you have entered the forum, you should check that the forum is for “CUHK 2019R1-CSCI5240”.

Once you are in the private session, you click “Grade” on the left pane to go to the Assignment Submission page.

Check out these instructions too.

Weekly Questionnaires

Survey 0

MOOC 1: Survey 1 Survey 2 Survey 3 Survey 4

MOOC 2: Survey 5 Survey 6 Survey 7 Survey 8

MOOC 3: Survey 9 Survey 10 Survey 11 Survey 12

Schedule:

2019 Sept 1	Promo Video, Intro, More Intro, Survey 0
8	No classes
15	Weeks 1 and 2, Survey 1, Survey 2
22	No classes
29	Weeks 3 and 4, rr.dzn, Survey 3
Oct 6	Weeks 3 and 4, rr.dzn, Survey 4
13	Weeks 5 and 6, freepizza_buggy_web.mzn, freepizza.dzn, freepizza6.dzn, Survey 5, Survey 6
20	No classes
27	Weeks 7 and 8 and 9, EXAMSforStudents.zip, Survey 7, Survey 8
Nov 3	No classes
10	Weeks 10 and 11, var_sqr_sym.mzn, var_perm_sym.mzn, Survey 9, Survey 10
17	No classes
24	Weeks 12 and 13, Survey 11, Survey 12

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	50%
Weekly Surveys	10%
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.