On Compact Formulations for Integer Programs Solved by Column Generation

Column generation has become a powerful tool in solving large scale integer programs. We argue that most of the often reported compatibility issues between pricing oracle and branching rules disappear when branching decisions are based on the reduction of the variables of the oracle’s domain. This can be generalized to branching on variables of a … Read more

On the Representation and Characterization of Fullerene C60

An operation on trivalent graphs leads from the truncated cube to buckminsterfullerene, and C60 is the only fullerene with disjoint pentagons which can be obtained by this method. The construction and the proof emphasize maximal independent sets that contain two fifths of the vertices of trivalent graphs. In the case of C60, these sets define … Read more