High-Multiplicity Fair Allocation Using Parametric Integer Linear Programming.

Robert Bredereck Andrzej Kaczmarczyk Dusan Knop Rolf Niedermeier

Published in: CoRR (2020)

Keyphrases

integer linear programming
column generation
envy free
resource allocation
pseudo boolean
boolean satisfiability
global constraints
boolean optimization
symmetry breaking
neural network
objective function
search algorithm
heuristic search
cutting plane