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).