Learn a new way to approach problem solving by stating the problem and letting powerful constraint solving software do the rest. This class teaches you the art of encoding complex discrete optimization problems in the MiniZinc modeling language and then shows you how to effortlessly solve them by leveraging state-of-the-art open-source constraint solving software.
The course has an open format. At the start of the course all of the assignments and lectures are available and each student is free to design their own plan of study and proceed at their own pace. The assessments in the course consist of five modeling tasks where students experience the challenges of solving discrete optimization problems. The class community is an important aspect of this course and students are encouraged to collaborate and help each other in the completion of the assignments.
- Peter Stuckey - Computing and Information Systems
- - Computing and Information Systems
The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University.
算法设计与分析 Design and Analysis of Algorithms