About this Course
4.8
173개의 평가
40개의 리뷰

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

탄력적인 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 18시간 필요

권장: 4 weeks of study, 6-12 hours/week...

영어

자막: 영어

귀하가 습득할 기술

Constraint ProgrammingProblem SolvingMathematical ModelDiscrete Optimization

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

탄력적인 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 18시간 필요

권장: 4 weeks of study, 6-12 hours/week...

영어

자막: 영어

강의 계획 - 이 강좌에서 배울 내용

1
완료하는 데 7시간 필요

MiniZinc introduction

In this first module, you will learn the basics of MiniZinc, a high-level modeling language for discrete optimization problems. Combining the simplicity of MiniZinc with the power of open-source industrial solving technologies, you will learn how to solve applications such as knapsack problems, graph coloring, production planning and tricky Cryptarithm puzzles, with great ease. ...
20 videos (Total 219 min), 6 readings, 1 quiz
20개의 동영상
1.1.1 First Steps14m
1.1.2 Second Model7m
1.1.3 Third Model6m
1.1.4 Models and Instances10m
1.1.5 Modeling Objects8m
1.1.6 Arrays and Comprehensions16m
1.1.7 Global Constraints9m
1.1.8 Module 1 Summary5m
Workshop 0 Solution19m
Workshop 1 Solution21m
Assignment Submission - IDE7m
Assignment Submission - CLI4m
Reference 1: Basic Features13m
Reference 2: Booleans Expressions13m
Reference 3: Sets, Arrays, Comprehensions19m
Reference 4: Enumerated Types7m
Reference 5: Strings and Output8m
Reference 6: Option Types12m
Reference 7: Command Line Interface8m
6개의 읽기 자료
Course Overview10m
Start of Course Survey12m
Getting MiniZinc10m
Workshop 0: First Steps20m
Workshop 1: Temperature45m
About the Reference Material2m
2
완료하는 데 5시간 필요

Modeling with Sets

In this module, you will learn how to model problems involving set selection. In particular, you will see different ways of representing set variables when the variable has no constraints on its cardinality, has fixed cardinality and bounded cardinality. You also have to ensure all model decisions are valid decisions, and each valid decision corresponds to exactly one model decision....
6 videos (Total 64 min), 1 reading, 1 quiz
6개의 동영상
1.2.2 Choosing a Set Representation7m
1.2.3 Choosing a Fixed Cardinality Set10m
1.2.4 Sets with Bounded Cardinality13m
1.2.5 Module 2 Summary3m
Workshop 2 Solution19m
1개의 읽기 자료
Workshop 2: Surrender Negotiations15m
3
완료하는 데 8시간 필요

Modeling with Functions

In this module, you will learn how to model pure assignment problems and partition problems, which are functions in disguise. These problems find applications in rostering and constrained clustering. In terms of modeling techniques, you will see the power of common subexpression elimination and intermediate variables, and encounter the global cardinality constraint for the first time. MiniZinc also provides constraints for removing value symmetries....
7 videos (Total 86 min), 1 reading, 1 quiz
7개의 동영상
1.3.2 Another Assignment Problem Example8m
1.3.3 Modeling Partitions10m
1.3.4 Global Cardinality Constraint9m
1.3.5 Pure Partitioning14m
1.3.6 Module 3 Summary5m
Workshop 3 Solution28m
1개의 읽기 자료
Workshop 3: Feast Trap50m
4
완료하는 데 7시간 필요

Multiple Modeling

In the final module of this course you will see how discrete optimization problems can often be seen from multiple viewpoints, and modeled completely differently from each viewpoint. Each viewpoint may have strengths and weaknesses, and indeed the different models can be combined to help each other. ...
6 videos (Total 67 min), 2 readings, 1 quiz
6개의 동영상
1.4.2 Permutation13m
1.4.3 More Permutation Problem8m
1.4.4 More Multiple Models12m
1.4.5 Module 4 Summary7m
Workshop 4 Solution13m
2개의 읽기 자료
Workshop 4: Composition5m
End of Course Survey10m
4.8
40개의 리뷰Chevron Right

최상위 리뷰

대학: KPOct 4th 2017

very nice introduction to minizinc with great and easy assignments to get you started

대학: KWMay 8th 2017

A very interesting course! I learned a lot from this course. Thanks instructors!

강사

Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems
Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering

멜버른 대학교 정보

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....

홍콩 중문 대학교 정보

Founded in 1963, The Chinese University of Hong Kong (CUHK) is a forward looking comprehensive research university with a global vision and a mission to combine tradition with modernity, and to bring together China and the West. CUHK teachers and students hail from all corners of the world. CUHK graduates are connected worldwide through an expansive alumni network....

자주 묻는 질문

  • 강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.

  • 수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.