Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication.

Matthew Anderson, Vu Le

Browse the full COCOON paper archive.