MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures

Citation:

C. Bright, Ganesh, V. , Heinle, A. , Kotsireas, I. , Nejati, S. , and Czarnecki, K. , “MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures”, in Computer Algebra in Scientific Computing, 2016.

Download Citation

• BibTex
• Tagged
• XML

Abstract:

Notes:

Publisher's Version