I am wondering if Strassen's algorithm can be used for Boolean matrix multiplication? I know that it is used for regular matrix multiplication but not too sure about Boolean.
Also, if it can be, is it faster asymptotically than using Four Russians method and which should be used for Boolean multiplication in general?