在这个模块中你将会学习到如何把一个复杂的约束定义封装到一个谓词里面，从而可以重复使用它。这可以让你建立越来越复杂的模型的同时，通过模块化的方式提升它的可读性。你将会第一次碰到多目标函数的问题，和学习如何压缩他们到一个目标函数里。除此以外，你还会学到如何对于安排宴会座次问题进行建模，这会在日常生活的许多场景中帮到你。你的学习目标有：1. 建立一个模型利用谓词和局部变量来让重要的约束抽象化; 2. 对于在MiniZinc模型中的不同的表达式进行分类。

学习如何着手各种复杂的项目调度问题，从只有简单的次序要求的问题到有单一资源甚至累积资源的问题。你将会在这些应用中看到如何对于一些复杂的约束进行建模。这个单元的学习目标有: 1. 建立复杂的调度问题的模型; 2. 发现调度问题的子结构，如问题中分离调度和累积调度。

在这个单元中，你可以学习到打包问题的一些重要应用，从正方形打包到直边形打包（考虑或不考虑旋转）。同样地，你将会看到在这些应用中如何对一些复杂的约束进行建模。你的学习目标有：1. 建立一个复杂的打包模型; 2. 通过全局约束（如diffn和geost）来描述打包问题。

在最后的单元中，我们将会探讨在离散优化问题中不同类型的对称。你将会学到如何用不同的方法和特殊的约束来打破这种对称性从而提升解决的效率。你也将会学到支配的概念，一种更广义上的对称，还有打破支配的技巧。你的学习目标有：1. 在问题的陈述中发现对称性; 2. 通过增加适当的打破对称性的约束来更改具有对称性的MiniZinc的模型; 3. 总结模型中存在的不同类型的对称; 4. 通过发现支配来提升模型。