MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures

Title MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
Author
Curtis Bright
Vijay Ganesh
Albert Heinle
Ilias Kotsireas
Saeed Nejati
Krzysztof Czarnecki
Year of Publication
2016
Conference Name
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
URL
https://link.springer.com/chapter/10.1007\%2F978-3-319-45641-6_9
DOI
10.1007/978-3-319-45641-6_9
Download citation