Field extension and trilinear aggregating, uniting and canceling for the acceleration of matrix multiplicationsV. Ya. Pan1979FOCS 1979
A polynomial time algorithm for solving systems of linear inequalities with two variables per inequalityBengt AspvallYossi Shiloach1979FOCS 1979