Bright, C.; Keita, A.; Stevens, B. Myrvold’s Results on Orthogonal Triples of 10 × 10 Latin Squares: A SAT Investigation. Electron. J. Combin. 2026, 33, P1.30.