C. Bright, Gerhard, J. , Kotsireas, I. S. , and Ganesh, V. , “Effective Problem Solving Using SAT Solvers”, in Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings, 2019, vol. 1125, pp. 205–219.