Bright, C., Keita, A., & Stevens, B. (2026). Myrvold’s Results on Orthogonal Triples of 10 × 10 Latin Squares: A SAT Investigation. The Electronic Journal of Combinatorics, 33(1), P1.30. https://doi.org/10.37236/13960