@conference {DBLP:conf/mc2/BrightGKG19,
	title = {Effective Problem Solving Using SAT Solvers},
	booktitle = {Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
	series = {Communications in Computer and Information Science},
	volume = {1125},
	year = {2019},
	pages = {205{\textendash}219},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-030-41258-6_15},
	url = {https://doi.org/10.1007/978-3-030-41258-6_15},
	author = {Curtis Bright and J{\"u}rgen Gerhard and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {J{\"u}rgen Gerhard and Ilias S. Kotsireas}
}
