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.

Section 3.4, algorithm lines (3) and (3a): The iteration should occur through the previously generated set of complex Golay pairs while ignoring the pairs in Ωall.

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