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, which for programmers is not a big
surprise, but still is a means for writing modular and concise scripts.
Subsections
Andreas Rossberg
2006-08-28