TY  - RPRT
TI  - SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme
AU  - Nick Palladinos
PY  - 2026
UR  - https://arxiv.org/abs/2607.29291
ID  - 2607.29291
ER  -