Selected papers that cite this one
- Edith Cohen and Nimrod Megiddo. Improved algorithms for linear inequalities with two variables per inequality. SIAM Journal on Computing, 23(6):1313-1347, December 1994.
- Dorit S. Hochbaum and Joseph (Seffi) Naor. Simple and fast algorithms for linear and integer programs with two variables per inequality. SIAM Journal on Computing, 23(6):1179-1192, December 1994.
- George C. Necula and Peter Lee. The design and implementation of a certifying compiler. In Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation (PLDI), pages 333-344, Montreal, Canada, 17-19 June 1998. SIGPLAN Notices 33(5), May 1998.