Combining SAT solvers with computer algebra systems to verify combinatorial conjectures

From MaRDI portal
Publication:2360872

DOI10.1007/s10817-016-9396-yzbMath1410.68413OpenAlexW2558199011WikidataQ123112521 ScholiaQ123112521MaRDI QIDQ2360872

Krzysztof Czarnecki, Vijay Ganesh, Curtis Bright, Edward Zulkoski, Albert Heinle, Ilias S. Kotsireas

Publication date: 29 June 2017

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-016-9396-y



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (7)


Uses Software


Cites Work


This page was built for publication: Combining SAT solvers with computer algebra systems to verify combinatorial conjectures