and c is a vector of rational components,
A is a 0,1 matrix.
Applications
The best known application is to
Airline Crew Scheduling.
A set of
flight legs (between cities) are given that must be flown.
Each
constraint (row) represents a flight leg. Feasible trips
(i.e., a sequence of flight legs) for crews need
to be chosen (columns of constraint matrix).
