@inproceedings{10,
  author = {Curtis Bright and Vijay Ganesh and Albert Heinle and Ilias Kotsireas and Saeed Nejati and Krzysztof Czarnecki},
  title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
  year = {2016},
  journal = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
  url = {http://ceur-ws.org/Vol-1804/paper-04.pdf},
}