Enumeration Of Williamson Sequences Of Even Order
Curtis Bright, Ilias Kotsireas, Vijay S Ganesh · Zenodo (CERN European Organization for Nuclear Research) · 2017
These files contain an enumeration of all inequivalent Williamson sequences of even orders n < 45 as defined in the paper "A SAT+CAS Method for Enumerating Williamson Matrices of Even Order" by Bright, Kotsireas, and Ganesh. Every line in each file contains exactly one Williamson sequence, with spaces separating the members A, B, C and D of the Williamson sequence. The sequence entries are encoded using the characters + for 1 and - for −1.