Application of Approximating Algorithms to Boolean Matrix Multiplication | IEEE Journals & Magazine | IEEE Xplore