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
|
| Volume |
58
|
| Start Page |
313
|
| Number of Pages |
339
|
| Date Published |
03/2011
|
| URL |
https://link.springer.com/article/10.1007/s10817-016-9396-y
|
| DOI |
10.1007/s10817-016-9396-y
|
| Download citation |