Constraint guided search for aircraft sequencing. (15th March 2019)