C. Bright, Ganesh, V. , Heinle, A. , Kotsireas, I. S. , Nejati, S. , and Czarnecki, K. , “MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures”, in Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, 2016, vol. 9890, pp. 117–133.