MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
| Title | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures |
|---|---|
| Author | |
| Year of Publication |
2016
|
| Conference Name |
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
|
| URL |
http://ceur-ws.org/Vol-1804/paper-04.pdf
|
| Download citation |