Enumeration of Complex Golay Pairs via Programmatic SAT

Curtis Bright, Ilias Kotsireas, Albert Heinle +1

We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. Thi…