TY - RPRT TI - Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles AU - Matthew Anderson AU - Zongliang Ji AU - Anthony Yang Xu PY - 2022 UR - https://arxiv.org/abs/2301.00074 ID - 2301.00074 ER -