We show that a 2-variable integer program, defined by m constraints involving coefficients with at most φ bits, can be solved with O(m+φ) arithmetic operations on rational numbers of size O(φ). © Springer-Verlag 2004.
Nikolaos Geroliminis, Claudia Bongiovanni, Mor Kaspi
Giovanni De Micheli, Heinz Riener, Siang-Yun Lee