Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
From MaRDI portal
Publication:2360872
DOI10.1007/s10817-016-9396-yzbMath1410.68413WikidataQ123112521 ScholiaQ123112521MaRDI QIDQ2360872
Ilias S. Kotsireas, Vijay Ganesh, Curtis Bright, Krzysztof Czarnecki, Albert Heinle, Edward Zulkoski
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
68W30: Symbolic computation and algebraic computation
05B20: Combinatorial aspects of matrices (incidence, Hadamard, etc.)
05C38: Paths and cycles
05C15: Coloring of graphs and hypergraphs
Uses Software