Enumeration of Complex Golay Pairs via Programmatic SAT: Errata

These have been fixed in the online version.

Mathematical typos

Section 2.3, line 10: The last resum should be imsum.

Table 3: The eighth row after the heading should contain the following entries: 8, 768, 6656, 17.