2005 (modified: 04 Nov 2022)Math. Program. 2005Readers: Everyone
Abstract: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(φ).