Справочник
Искать:
Vídeos
Курс: Advanced Modeling for Discrete Optimization. Чтобы вернуться, нажмите здесь.
- Welcome to Advanced Modeling for Discrete Optimization
- Course Overview
- Start of Course Survey
- 2.1.1 Model Debugging
- 2.1.2 Tracing Models
- 2.1.3 Relational Semantics
- 2.1.4 Too Many Solutions
- 2.1.5 Missing Solutions
- 2.1.6 Basic Model Improvement
- 2.1.7 Module 1 Summary
- Getting MiniZinc
- Workshop 5: Poetry Challenge
- Workshop 5 Solution
- Assignment Submission - IDE
- Assignment Submission - CLI
- About the Reference Material
- Reference 1: Basic Features
- Reference 2: Booleans Expressions
- Reference 3: Sets, Arrays and Comprehensions
- Reference 4: Enumerated Types
- Reference 5: Strings and Output
- Reference 6: Option Types
- Reference 7: Predicates
- Reference 8: Flattening
- Reference 9: Transforming Data
- Reference 10: User Defined Functions
- Reference 11: Command Line Interface
- 2.2.1 Predicates
- 2.2.2 The let-in Construct
- 2.2.3 Using Predicates
- 2.2.4 Contexts
- 2.2.5 Module 2 Summary
- Workshop 6: Weighing an Elephant: Part 1
- Workshop 6 Solution
- 2.3.1 Basic Scheduling
- 2.3.2 Disjunctive Scheduling
- 2.3.3 Cumulative Scheduling
- 2.3.4 Sequence Dependent Scheduling 1
- 2.3.5 Sequence Dependent Scheduling 2
- 2.3.6 Module 3 Summary
- Workshop 7: Visiting Zhuge Liang
- Workshop 7 Solution
- 2.4.1 Square Packing
- 2.4.2 Rectilinear Packing without Rotation
- 2.4.3 Rectilinear Packing with Rotation
- 2.5.1 Symmetries and LexLeader
- 2.5.2 Matrix Model Symmetries
- 2.5.3 Value Symmetries
- 2.5.4 Dominance
- 2.5.5 Module 4 & 5 Summary
- Where to from here?
- Workshop 8: The Dieda Plasters
- Workshop 8 Solution
- End of Course Survey