C. Bright, Kotsireas, I. S. , and Ganesh, V. , “A SAT+CAS Method for Enumerating Williamson Matrices of Even Order”, in Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), 2018, pp. 6573–6580.