@inproceedings{11,
  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 = {https://link.springer.com/chapter/10.1007\%2F978-3-319-45641-6_9},
  doi = {10.1007/978-3-319-45641-6_9},
}