@conference {DBLP:conf/synasc/BrightGHKNC16,
	title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
	booktitle = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016},
	series = {CEUR Workshop Proceedings},
	volume = {1804},
	year = {2016},
	pages = {13{\textendash}19},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-1804/paper-04.pdf},
	author = {Curtis Bright and Vijay Ganesh and Albert Heinle and Ilias S. Kotsireas and Saeed Nejati and Krzysztof Czarnecki},
	editor = {Erika {\'A}brah{\'a}m and James H. Davenport and Pascal Fontaine}
}
