Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki. MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Volume 9890 of Lecture Notes in Computer Science, pages 117-133, Springer, 2016. [doi]
Abstract is missing.