Witnesses for Boolean matrix multiplication and for shortest paths | IEEE Conference Publication | IEEE Xplore