%0 Journal Article %1 journals/jar/ZulkoskiBHKCG17 %A Zulkoski, Edward %A Bright, Curtis %A Heinle, Albert %A Kotsireas, Ilias S. %A Czarnecki, Krzysztof %A Ganesh, Vijay %D 2017 %J J. Autom. Reason. %K %N 3 %P 313-339 %T Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. %U http://dblp.uni-trier.de/db/journals/jar/jar58.html#ZulkoskiBHKCG17 %V 58

@article{journals/jar/ZulkoskiBHKCG17, added-at = {2023-12-13T06:58:08.000+0100}, author = {Zulkoski, Edward and Bright, Curtis and Heinle, Albert and Kotsireas, Ilias S. and Czarnecki, Krzysztof and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/277173f560571c20eab9f637489a554b3/admin}, ee = {https://doi.org/10.1007/s10817-016-9396-y}, interhash = {b3d29aba51d8a0185bd56aaab7bc851a}, intrahash = {77173f560571c20eab9f637489a554b3}, journal = {J. Autom. Reason.}, keywords = {}, number = 3, pages = {313-339}, timestamp = {2023-12-13T06:58:08.000+0100}, title = {Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#ZulkoskiBHKCG17}, volume = 58, year = 2017 }