Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh. Enumeration of Complex Golay Pairs via Programmatic SAT. In Manuel Kauers, Alexey Ovchinnikov, Éric Schost, editors, Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018. pages 111-118, ACM, 2018. [doi]
Abstract is missing.