Advanced Modeling for Discrete Optimization

CUHK extends discrete-optimization modeling with debugging, reusable predicates and more demanding scheduling and packing problems. Symmetry and dominance provide ways to reconsider how a model searches for solutions. It suits learners who can already formulate basic constraints and want to make their models easier to inspect, maintain and solve.

What you will learn

• Debug and structure MiniZinc models.
• Formulate scheduling and packing constraints.
• Explore symmetry and dominance in model design.

Who this suits

Learners with basic constraint-modeling experience, or preparation equivalent to the preceding modeling course. The provider labels this course intermediate despite its advanced title.

Before you enroll

Work through examples with a written argument rather than relying on an answer alone. Check definitions, quantifiers and boundary cases, and distinguish a model’s assumptions from the situation it represents. These courses take different routes through discrete mathematics; compare their preparation requirements and topic coverage before choosing a starting point.

Coursera offers paid enrollment or subscription access. Check the enrollment screen for assessment and certificate terms, trials and any financial-aid options. Provider access terms can change; review them before paying.

Put it into practice

Revisit a small optimization model and introduce a redundant or inconsistent constraint deliberately. Diagnose the result, document the correction and compare an alternative formulation.

Source and review

This overview is based on the provider's published information, checked on 12 October 2026. It is an editorial assessment, not a claim that we completed the resource. Time filters are approximate study ranges; projects and exercises can take longer.

View the curriculum and current access options at Coursera.

How YellowCourse describes and checks learning resources.