Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.

Matthew Anderson Zongliang Ji Anthony Yang Xu

Published in: SAT (2020)

Keyphrases

matrix multiplication
message passing
special case
np complete
constraint satisfaction
matrix factorization
computer vision
computational complexity
high level
pairwise
np hard
dynamic programming
data processing
model checking