Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.

Matthew Anderson, Zongliang Ji, Anthony Yang Xu

Browse the full SAT paper archive.