Decomposing finitely generated integral monoids by elimination

Abstract A finitely generated integral monoid can always be decomposed into a finite (although generally exponential) number of integral monoids having special structure, in that their related integer programming feasibility problems can be solved in polynomial time. The decomposition can be constructed using an elimination scheme due to Presburger and Williams that generalizes Fourier-Motzkin elimination.