Citation: C. Bright, Ganesh, V. , Heinle, A. , Kotsireas, I. , Nejati, S. , and Czarnecki, K. , “MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures”, in Workshop on Satisfiability Checking and Symbolic Computation, 2016.Download CitationBibTex Tagged XML Abstract:Notes:Publisher's Version