# 1. Getting started

The main entries you may consult if you want to have a first look to the catalogue are:

To get an idea of how global

**constraint arguments**are described look at Section 2.1.To

**search in the catalogue**look at Section 3.3.To

**search a constraint from a keyword**look at Section 3.7.To get an idea

**how keywords are structured**look at Section 3.6.To know

**available semantic links between constraints**look at Section 2.5.To get through the

**core global constraints**look at the keyword core.To see how

**constraints symmetries**are described look at Section 2.1.5.To get an idea of

**general filtering techniques**look at the meta -keyword filtering and more specifically to the entries Berge-acyclic constraint network, constructive disjunction, flow and sweep. To get the notion of**consistency**achieved by a filtering algorithm look at the keywords arc-consistency and bound-consistency.To get an idea of

**modelling techniques**and of**modelling exercises**look at the meta -keywords modelling and modelling exercises.To get and idea of

**reformulations**of global constraints look at Section 2.4.To get an idea of general ways to

**explicitly represent the meaning of global constraints**look at (a) Section 2.2 for the*graph property based description*, (b) Section 2.3 for the*automaton based description*, (c) the reference [CarlssonBeldiceanuMartin08]) for the*logical based description*(e.g., see the**Logic**slot of $\mathrm{\U0001d696\U0001d68e\U0001d68e\U0001d69d}\_\mathrm{\U0001d69c\U0001d68b\U0001d698\U0001d6a1\U0001d68e\U0001d69c}$).To get an idea of the

**meta -data**used for describing a constraint look at Section 4.4.1 for*the facts*and Section 4.4.2 for the*XML schema*.To get the

**correspondence of global constraints**of the catalogue**with concrete constraint systems**, such as**Choco**,**Gecode**,**JaCoP**, or**SICStus**look at Appendix Systems.