Citation:
C. Bright, Kotsireas, I. , and Ganesh, V. , “SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics”, in Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, Riverton, NJ, USA, 2019, pp. 323–328.