The Omega test: a fast and practical integer programming algorithm for dependence analysis (1991)

by William Pugh
Venue:In Proceedings of the 1991 ACM/IEEE conference on Supercomputing