air - traffic complexity resolution in multi - sector planning .
Principles of Constraint Programming