Enumeration of Complex Golay Pairs via Programmatic SAT.

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh

Browse the full ISSAC paper archive.