A strongly polynomial algorithm for bimodular integer linear programming.

Stephan Artmann Robert Weismantel Rico Zenklusen

Published in: STOC (2017)

Keyphrases

integer linear programming
column generation
bicriteria
linear inequalities
cutting plane
pseudo boolean
global constraints
symmetry breaking
boolean satisfiability
probability distribution
linear program
perfect phylogeny
boolean optimization