4 Elimination of Symmetries and Defined Constraints

In this section you will learn two basic constraint programming techniques. The first technique consists in eliminating symmetries in the model, which often leads to scripts with smaller search trees. The second technique introduces defined constraints, a means for writing modular and concise scripts.

Christian Schulte and Gert Smolka
Version 1.4.0 (20080702)