TY - RPRT TI - Enumeration of Complex Golay Pairs via Programmatic SAT AU - Curtis Bright AU - Ilias Kotsireas AU - Albert Heinle AU - Vijay Ganesh PY - 2018 DO - 10.1145/3208976.3209006 UR - https://arxiv.org/abs/1805.05488 ID - 1805.05488 ER -