@article {DBLP:journals/jar/ZulkoskiBHKCG17,
	title = {Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures},
	journal = {J. Autom. Reason.},
	volume = {58},
	number = {3},
	year = {2017},
	pages = {313{\textendash}339},
	doi = {10.1007/S10817-016-9396-Y},
	url = {https://doi.org/10.1007/s10817-016-9396-y},
	author = {Edward Zulkoski and Curtis Bright and Albert Heinle and Ilias S. Kotsireas and Krzysztof Czarnecki and Vijay Ganesh}
}
