Login / Signup

Ruling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT.

Jason Yang
Published in: CoRR (2024)
Keyphrases