@article{84,
  author = {Edward Zulkoski and Curtis Bright and Albert Heinle and Ilias Kotsireas and Krzysztof Czarnecki and Vijay Ganesh},
  title = {Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures},
  year = {2017},
  journal = {Journal of Automated Reasoning},
  volume = {58},
  chapter = {313},
  pages = {339},
  month = {03/2011},
  url = {https://link.springer.com/article/10.1007/s10817-016-9396-y},
  doi = {10.1007/s10817-016-9396-y},
}