MathCheck2: A SAT+CAS Verifier for Combinatorial ConjecturesDownload PDF

Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki

2016 (modified: 12 Nov 2022)SC²@SYNASC 2016Readers: Everyone
0 Replies