Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT

Curtis Bright, Ilias Kotsireas, Albert Heinle +1

We use techniques from the fields of computer algebra and satisfiability checking to develop a new algorithm to search for complex Golay pairs. We implement this algorithm and use…