Bright, C.; Kotsireas, I.; Ganesh, V. A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI 2018, 32.