A SAT+CAS Method for Enumerating Williamson Matrices of Even Order

Open in new window