About this Course
5.0
60개의 평가
12개의 리뷰

100% 온라인

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

탄력적인 마감일

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

중급 단계

완료하는 데 약 23시간 필요

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

영어

자막: 영어

100% 온라인

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

탄력적인 마감일

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

중급 단계

완료하는 데 약 23시간 필요

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

영어

자막: 영어

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

1
완료하는 데 12시간 필요

Debugging and Improving Models

Similar to computer programs, models can have bugs. In this module, you will see the symptoms (unsatisfiability, too many solutions, too few solutions) of different bugs, and learn methods to discover what is going wrong with your model and how to fix it. Equipped with these tools, you will be able to develop and debug complex models....
22 videos (Total 266 min), 5 readings, 1 quiz
22개의 동영상
2.1.1 Model Debugging7m
2.1.2 Tracing Models12m
2.1.3 Relational Semantics11m
2.1.4 Too Many Solutions8m
2.1.5 Missing Solutions17m
2.1.6 Basic Model Improvement19m
2.1.7 Module 1 Summary4m
Workshop 5 Solution23m
Assignment Submission - IDE7m
Assignment Submission - CLI4m
Reference 1: Basic Features13m
Reference 2: Booleans Expressions13m
Reference 3: Sets, Arrays and Comprehensions19m
Reference 4: Enumerated Types7m
Reference 5: Strings and Output8m
Reference 6: Option Types12m
Reference 7: Predicates8m
Reference 8: Flattening29m
Reference 9: Transforming Data15m
Reference 10: User Defined Functions10m
Reference 11: Command Line Interface8m
5개의 읽기 자료
Course Overview10m
Start of Course Survey10m
Getting MiniZinc10m
Workshop 5: Poetry Challenge30m
About the Reference Material2m
2
완료하는 데 10시간 필요

Predicates

In this module, you will learn how to encapsulate a complex constraint definition in a predicate definition to enable its reuse. This will enable the construction of far more complex models with improved readability in a modular manner. You will also encounter for the first time a problem with multiple objectives and learn how to compress them into one single objective. In addition to this, you will learn how to model the banquet seating problem, which will assist you in many occasions in life....
6 videos (Total 92 min), 1 reading, 1 quiz
6개의 동영상
2.2.2 The let-in Construct17m
2.2.3 Using Predicates16m
2.2.4 Contexts22m
2.2.5 Module 2 Summary3m
Workshop 6 Solution24m
1개의 읽기 자료
Workshop 6: Weighing an Elephant: Part 115m
3
완료하는 데 10시간 필요

Scheduling

Learn how to tackle complex project scheduling problems of various forms, progressively from ones with only basic precedence requirements to ones with unary resources and even cumulative resources. You will see how to model some of the complex constraints that arise in these applications....
7 videos (Total 70 min), 1 reading, 1 quiz
7개의 동영상
2.3.2 Disjunctive Scheduling10m
2.3.3 Cumulative Scheduling15m
2.3.4 Sequence Dependent Scheduling 112m
2.3.5 Sequence Dependent Scheduling 25m
2.3.6 Module 3 Summary3m
Workshop 7 Solution12m
1개의 읽기 자료
Workshop 7: Visiting Zhuge Liang20m
4
완료하는 데 1시간 필요

Packing

In this module, you will learn the important application of packing, from the packing of squares to rectilinear shapes with and without rotation. Again, you will see how to model some of the complex constraints that arise in these applications. ...
3 videos (Total 43 min)
3개의 동영상
2.4.2 Rectilinear Packing without Rotation11m
2.4.3 Rectilinear Packing with Rotation15m
5.0
12개의 리뷰Chevron Right

50%

이 강좌를 통해 확실한 경력상 이점 얻기

50%

급여 인상 또는 승진하기

최상위 리뷰

대학: KPOct 3rd 2017

very rewarding and challenging assignments, thank you for this great course!

대학: GGJun 11th 2018

Fantastic course that really makes you think long and hard.

강사

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

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

홍콩 중문 대학교 정보

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 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

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