C. Bright, I. Kotsireas, and V. Ganesh, “A SAT+CAS Method for Enumerating Williamson Matrices of Even Order”, AAAI, vol. 32, no. 1, Apr. 2018.