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

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

Browse the full AAAI paper archive.