Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures
| Title | Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures |
|---|---|
| Author | |
| Year of Publication |
2017
|
| Journal |
Journal of Automated Reasoning
|
| URL |
https://link.springer.com/article/10.1007\%2Fs10817-016-9396-y
|
| DOI |
10.1007/s10817-016-9396-y
|
| Download citation |