airspace sectorisation using constraint - based local search .
Introduction to Algorithms, 3rd Edition