Ruling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT

Jason Yang

We analyze rank decompositions of the $3\times 3$ matrix multiplication tensor over $\mathbb{Z}/2\mathbb{Z}$. We restrict our attention to decompositions of rank $\le 21$, as only…