75 citations · 671 across the 41 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
math.OC2006★ 15 cited
Intermediate integer programming representations using value disjunctions
Matthias Köppe, Quentin Louveaux, Robert Weismantel
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set o…
math.CO2006★ 62 cited
A primal Barvinok algorithm based on irrational decompositions
Matthias Köppe
We introduce variants of Barvinok's algorithm for counting lattice points in polyhedra. The new algorithms are based on irrational signed decomposition in the primal space and the…