@article{7,
  author = {Ed Zulkoski and Curtis Bright and Albert Heinle and Ilias Kotsireas and Krysztof Czarnecki and Vijay Ganesh},
  title = {Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures},
  year = {2017},
  journal = {Journal of Automated Reasoning},
  url = {https://link.springer.com/article/10.1007\%2Fs10817-016-9396-y},
  doi = {10.1007/s10817-016-9396-y},
}