@article{5,
  author = {Curtis Bright and Ilias Kotsireas and Vijay Ganesh},
  title = {The SAT+CAS Paradigm and the Williamson Conjecture},
  year = {2018},
  journal = {ACM Communications in Computer Algebra (CCA 2018)},
}