@inproceedings{bright2019sat,
  title={{SAT} Solvers and Computer Algebra Systems: {A} Powerful Combination for Mathematics},
  author={Bright, Curtis and Kotsireas, Ilias and Ganesh, Vijay},
  booktitle={Proceedings of the 29th International Conference on Computer Science and Software Engineering},
  year={2019},
  pages={323--328},
  url={https://dl.acm.org/doi/abs/10.5555/3370272.3370309}
}