@article{2,
  author = {Curtis Bright and Ilias Kotsireas and Vijay Ganesh},
  title = {Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture},
  year = {2018},
  journal = {Submitted to the Journal of Symbolic Computation},
  url = {https://arxiv.org/abs/1804.01172},
}