Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures
Crossref DOI link: https://doi.org/10.1007/s10817-016-9396-y
Published Online: 2016-12-01
Published Print: 2017-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zulkoski, Edward http://orcid.org/0000-0003-1816-1614
Bright, Curtis
Heinle, Albert
Kotsireas, Ilias
Czarnecki, Krzysztof
Ganesh, Vijay
License valid from 2016-12-01