Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles. - Matthew Anderson; Zongliang Ji; Anthony Yang Xu (SAT, 2020)