
## Contents 3

| 3.6   | Constraints                         |     | 20   |
|-------|-------------------------------------|-----|------|
| 3.6.1 | Constraints in extension            | 21  |      |
| 3.6.2 | Constraints in intension            |     | 21   |
| 3.6.3 | Global constraints                  |     | 22   |
| 3.6.4 | Global constraints from the Catalog |     | 23   |
| 3.7   | Illustrations                       | 30  |      |
| 4     | Representing QCSP instances         | 31  |      |
| 4.1   | Presentation                        | 31  |      |
| 4.2   | Quantification                      | 32  |      |
| 4.3   | Illustrations                       | 33  |      |
| 5     | Representing WCSP instances         | 33  |      |
| 5.1   | Presentation                        | 33  |      |
| 5.2   | Relations                           |     | 34   |
| 5.3   | Functions                           |     | 34   |
| 5.4   | Constraints                         |     | 35   |
| 5.5   | Illustration                        |     | 35   |
