C. Bright, Kotsireas, I. S. , Heinle, A. , and Ganesh, V. , “Enumeration of Complex Golay Pairs via Programmatic SAT”, in Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018, 2018, pp. 111–118.