Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation 2018
DOI: 10.1145/3208976.3209006
|View full text |Cite
|
Sign up to set email alerts
|

Enumeration of Complex Golay Pairs via Programmatic SAT

Abstract: We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This independently verifies work done by F. Fiedler in 2013 [11] that confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani [8] that complex Golay pairs of length 23 don't exist. Our enumeration method relies on the recently proposed SAT+CAS paradigm of combining computer algebra systems with SAT solvers to take advantage of… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
12
0

Year Published

2019
2019
2021
2021

Publication Types

Select...
4
1

Relationship

3
2

Authors

Journals

citations
Cited by 9 publications
(12 citation statements)
references
References 26 publications
0
12
0
Order By: Relevance
“…Because Fiedler (2013), Gibson andJedwab (2011), andCraigen et al (2002) do not provide implementations or timings for the enumerations they completed it is not possible for us to compare the efficiency of our algorithm to previous algorithms. However, in Table 4 we compare our implementation's timings to the timings we previously presented (Bright et al, 2018b). Table 4 shows that the improved version of our algorithm performs about an order of magnitude faster in general.…”
Section: Resultsmentioning
confidence: 99%
See 3 more Smart Citations
“…Because Fiedler (2013), Gibson andJedwab (2011), andCraigen et al (2002) do not provide implementations or timings for the enumerations they completed it is not possible for us to compare the efficiency of our algorithm to previous algorithms. However, in Table 4 we compare our implementation's timings to the timings we previously presented (Bright et al, 2018b). Table 4 shows that the improved version of our algorithm performs about an order of magnitude faster in general.…”
Section: Resultsmentioning
confidence: 99%
“…A second possible improvement could be to use the symbolic form of f (θ) defined in Section 3.1 to help find the maximum of f (θ). For example, a consequence of Lemma 6 and Euler's identity is that Table 4: A comparison between the method presented at ISSAC 2018 (Bright et al, 2018b) and the method used in this paper. The times measure the total amount of computation time that was used to run a complete search in the lengths 17 ≤ n ≤ 28 when run on the same hardware.…”
Section: Future Workmentioning
confidence: 99%
See 2 more Smart Citations
“…Our focus was applying the SAT+CAS paradigm to the Williamson conjecture from combinatorial design theory, but we believe the SAT+CAS paradigm shows promise to be applicable to many other problems and conjectures. In fact, the SAT+CAS paradigm has recently been used to enumerate complex Golay pairs (Bright et al, 2018b) and good matrices (Bright et al, 2019). However, the SAT+CAS paradigm is not something that can be effortlessly applied to problems or expected to be effective on all types of problems.…”
Section: Conclusion and Advicementioning
confidence: 99%