If a string is included in
the solution, a single aircraft flies each flight in the
sequence and then undergoes maintenance. Side constraints include cover constraints and count constraints.
Cover constraints ensure that each flight leg is contained in exactly one selected string, and count constraints limit the number of assigned aircraft to the
number available. Additional details are provided in
Barnhart et al. (1998a).