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.