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 Jan
8 |
Promo Video |
15 |
|
22 |
|
29 |
|
Feb 5 |
|
12 |
|
19 |
|
26 |
|
Mar 5 |
|
12 |
|
19 |
|
26 |
|
Apr 2 |
|
9 |
|
16 |
|
Useful Links:
Success
stories of constraint programming at 4C
|
|||
|
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.