The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices: Errata

One set of quadruples is accidentally listed twice in the appendix and one set of quadruples is missing, although the matrices in Figure 4 are correct. This has been corrected in my online version. Thanks to Dragomir Ž. Ðoković for pointing this out.