@conference {DBLP:conf/cascon/BrightKG19,
	title = {SAT solvers and computer algebra systems: a powerful combination for mathematics},
	booktitle = {Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019},
	year = {2019},
	pages = {323{\textendash}328},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.5555/3370272.3370309},
	url = {https://dl.acm.org/doi/10.5555/3370272.3370309},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Tima Pakfetrat and Guy-Vincent Jourdan and Kostas Kontogiannis and Robert F. Enenkel}
}
