A SAT+CAS Method for Enumerating Williamson Matrices of Even Order
| Title | A SAT+CAS Method for Enumerating Williamson Matrices of Even Order |
|---|---|
| Author | |
| Year of Publication |
2018
|
| Conference Name |
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order
|
| URL |
https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16625
|
| Download citation |