CSCI 5240 Combinatorial Search and Optimization with Constraints First of all, I would like to welcome you to the first lecture of CSCI5240: combinatorial search and optimization with constraints. At the same time, I must apologize for not being able to give you a face to face lecture since I am attending a conference in France now. In any case, I think it’s timely for you to try video lectures since we plan to do something new in this semester CSC5240 - Introduction

CSCI 5240 When Traditional Classroom Lectures Meet MOOCs Some of you might have read an email from me about 2 weeks ago. Yes, this course will be taught, in addition to traditional classroom lectures, with the help of MOOCs, which stands for Massive Open Online Courses. I’ll explain the details of how this course is going to be run in the following. CSC5240 - Introduction

Administrative Tidbits Instructor: Jimmy Lee, SHB 1009, x38426, <jlee@cse.cuhk.edu.hk> Tutor: Isaac Huang, SHB 1005, x38422, <xmhuang@cse.cuhk.edu.hk> Course information dissemination and discussion: <piazza.com/cuhk.edu.hk/fall2016/csci5240> and homepage <course.cse.cuhk.edu.hk/~csci5240> Evaluation criteria: assignments (60%) and final (40%) CSC5240 - Introduction

The MOOCs Two courses consisting of modules of short videos Course 1: 4 modules Course 2: 5 modules 8 module summaries, workshops and programming assignments Self-learn: C1M1 and C2M1 CSC5240 - Introduction

Each Module Video lectures Module summary Workshop Assignment CSC5240 - Introduction

Blended Learning I teach lectures, and videos are for revision You watch the summaries and do the workshops (and watch the solution videos) The TA will discuss the workshops appropriately The assignments are for assessment Some purely MOOCs Some I teach, but you can watch the MOOC to revise First half about modeling, so that you can solve problems without knowing how Second half is about the technologies under the hood CSC5240 - Introduction

Things to do … Finish all videos in Module 1 Download and Install MiniZinc Work on Workshops 0 & 1, and watch the solution videos Work on Assignment 1 CSC5240 - Introduction

Miscellaneous Assignments due on Sundays 11:59pm Linux version of MiniZinc? Tutorial timeslot? CSC5240 - Introduction