Witnesses for Boolean Matrix Multiplication and for Shortest Paths (1992)

by N Alon, O Margalit, Z Galilt, M Naor
Venue:In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science (FOCS