@inproceedings{4,
  author = {Curtis Bright and Ilias Kotsireas and Vijay Ganesh},
  title = {A SAT+CAS Method for Enumerating Williamson Matrices of Even Order},
  year = {2018},
  journal = {A SAT+CAS Method for Enumerating Williamson Matrices of Even Order},
  url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16625},
}