A Fast Algorithm for the Two-Variable Integer Programming Problem

Subdomain dependence test for massive parallelism

Proceedings of the 1990 ACM/IEEE conference on Supercomputing

Las Vegas algorithms for linear and integer programming when the dimension is small

Journal of the ACM (JACM)

Integer Programming for Array Subscript Analysis

IEEE Transactions on Parallel and Distributed Systems

Finite-resolution hidden surface removal

SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms

Fast 2-Variable Integer Programming

Proceedings of the 8th International IPCO Conference on Integer Programming and Combinatorial Optimization

Digital hyperplane recognition in arbitrary fixed dimension within an algebraic computation model

Image and Vision Computing

Two variables per linear inequality as an abstract domain

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation

Integer programming

Algorithms and theory of computation handbook