Each possible assignment of an aircraft type to a flight
leg is represented by a binary variable, with value 1
if the aircraft type is assigned to that flight leg, and
0 otherwise. The resulting formulation for the fleet
assignment problem of a major airline contains about
20,000 rows and 30,000 columns and can be solved
typically within minutes.