CP Set Partitioning model Variables and constraints a variable is a pairing, that is, a sequence of flights beginning and ending at the same crew base and satisfying all work rules Binary variables: 1 if pairing is assigned to a crew:=0 if pairing not flown Set partitioning constraints(crew size constraints often ignored) requiring each flight to be covered exactly once 2/212021 Barnhart 1.206J/16.77J/ESD. 15J2/21/2021 Barnhart 1.206J/16.77J/ESD.215J 11 CP Set Partitioning Model: Variables and Constraints • A variable is a pairing, that is, a sequence of flights beginning and ending at the same crew base and satisfying all work rules – Binary variables: = 1 if pairing is assigned to a crew; = 0 if pairing not flown • Set partitioning constraints (crew size constraints often ignored) requiring each flight to be covered exactly once