Monthly Subscription Starting at AED 99 + VAT

Basic Modeling for Discrete Optimization
  • Level Professional
  • المدة 28 ساعات hours
  • الطبع بواسطة The University of Melbourne
  • Offered by

عن

Optimization is a common form of decision making, and is ubiquitous in our society. Its applications range from solving Sudoku puzzles to arranging seating in a wedding banquet. The same technology can schedule planes and their crews, coordinate the production of steel, and organize the transportation of iron ore from the mines to the ports. Good decisions in manpower and material resources management also allow corporations to improve profit by millions of dollars. Similar problems also underpin much of our daily lives and are part of determining daily delivery routes for packages, making school timetables, and delivering power to our homes. Despite their fundamental importance, all of these problems are a nightmare to solve using traditional undergraduate computer science methods. This course is intended for students interested in tackling all facets of optimization applications. You will learn an entirely new way to think about solving these challenging problems by stating the problem in a state-of-the-art high level modeling language, and letting library constraint solving software do the rest. This will allow you to unlock the power of industrial solving technologies, which have been perfected over decades by hundreds of PhD researchers. With access to this advanced technology, problems that are considered inconceivable to solve before will suddenly become easy. Watch the course promotional video here: https://www.youtube.com/watch?v=hc3cBvtrem0&t=8s

الوحدات

Course Preliminaries

    • 1 Videos
    • 3 Readings
Show info about module content

1 Videos

  • Welcome to Basic Modeling for Discrete Optimization

3 Readings

  • Course Overview
  • Start of Course Survey (Researcher: Professor Gregor Kennedy, Melbourne Centre for the Study of Higher Education)
  • “Building Decision Support Systems using MiniZinc” by Professor Mark Wallace

MiniZinc Introduction

    • 8 Videos
Show info about module content

8 Videos

  • 1.1.1 First Steps
  • 1.1.2 Second Model
  • 1.1.3 Third Model
  • 1.1.4 Models and Instances
  • 1.1.5 Modeling Objects
  • 1.1.6 Arrays and Comprehensions
  • 1.1.7 Global Constraints
  • 1.1.8 Module 1 Summary

Activities

    • 3 Videos
    • 3 Readings
    • 1 Programming
Show info about module content

1 Programming

  • Cryptarithms for Seven Paces Verse

3 Videos

  • Workshop 0 Solution
  • Workshop 1 Solution
  • Assignment Submission - IDE

3 Readings

  • Getting MiniZinc
  • Workshop 0: First Steps
  • Workshop 1: Temperature

Reference Material (Optional)

    • 7 Videos
    • 1 Readings
Show info about module content

7 Videos

  • Reference 1: Basic Features
  • Reference 2: Booleans Expressions
  • Reference 3: Sets, Arrays, Comprehensions
  • Reference 4: Enumerated Types
  • Reference 5: Strings and Output
  • Reference 6: Option Types
  • Reference 7: Command Line Interface

1 Readings

  • About the Reference Material

Modeling with Sets

    • 5 Videos
Show info about module content

5 Videos

  • 1.2.1 Selecting a Set
  • 1.2.2 Choosing a Set Representation
  • 1.2.3 Choosing a Fixed Cardinality Set
  • 1.2.4 Sets with Bounded Cardinality
  • 1.2.5 Module 2 Summary

Activities

    • 1 Videos
    • 1 Readings
    • 1 Programming
Show info about module content

1 Programming

  • Raid Planning

1 Videos

  • Workshop 2 Solution

1 Readings

  • Workshop 2: Surrender Negotiations

Modeling with Functions

    • 6 Videos
Show info about module content

6 Videos

  • 1.3.1 Modeling Functions
  • 1.3.2 Another Assignment Problem Example
  • 1.3.3 Modeling Partitions
  • 1.3.4 Global Cardinality Constraint
  • 1.3.5 Pure Partitioning
  • 1.3.6 Module 3 Summary

Activities

    • 1 Videos
    • 1 Readings
    • 1 Programming
Show info about module content

1 Programming

  • Dance Trap

1 Videos

  • Workshop 3 Solution

1 Readings

  • Workshop 3: Feast Trap

Multiple Modeling

    • 5 Videos
Show info about module content

5 Videos

  • 1.4.1 Multiple Modeling
  • 1.4.2 Permutation
  • 1.4.3 More Permutation Problem
  • 1.4.4 More Multiple Models
  • 1.4.5 Module 4 Summary

Activities

    • 1 Videos
    • 1 Readings
    • 1 Programming
Show info about module content

1 Programming

  • Royal Hunt

1 Videos

  • Workshop 4 Solution

1 Readings

  • Workshop 4: Composition

Course Wrap-up

    • 1 Readings
Show info about module content

1 Readings

  • End of Course Survey (Researcher: Professor Gregor Kennedy, Melbourne Centre for the Study of Higher Education)

Auto Summary

Unlock the power of industrial solving technologies with "Basic Modeling for Discrete Optimization." This professional IT & Computer Science course, taught by experts, teaches you to tackle optimization challenges using high-level modeling languages and advanced constraint-solving software. Ideal for students aiming to master decision-making applications, it spans 1680 minutes and offers a starter subscription option. Enhance your problem-solving skills and make complex decisions more manageable.

Prof. Peter James Stuckey
Instructors

Prof. Peter James Stuckey

Prof. Jimmy Ho Man Lee
Instructors

Prof. Jimmy Ho Man Lee