airspace sectorisation using constraint - based local search .
Principles of Constraint Programming