Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing

Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. In James H. Davenport, Dongming Wang, Manuel Kauers, Russell Bradford, editors, Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. pages 203-210, ACM, 2019. [doi]

Abstract

Abstract is missing.