Integer programming with 2-variable equations and 1-variable inequalities
Information Processing Letters
Logahedra: A New Weakly Relational Domain
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Efficient lattice width computation in arbitrary dimension
DGCI'09 Proceedings of the 15th IAPR international conference on Discrete geometry for computer imagery
Computing efficiently the lattice width in any dimension
Theoretical Computer Science
The exact lattice width of planar sets and minimal arithmetical thickness
IWCIA'06 Proceedings of the 11th international conference on Combinatorial Image Analysis
Operations Research Letters
Hi-index | 0.01 |
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(φ).