Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication.

Matthew Anderson Vu Le

Published in: COCOON (2) (2023)

Keyphrases

matrix multiplication
special case
np complete
constraint satisfaction
computational complexity
np hard
sufficient conditions
image sequences
pairwise
higher order
message passing