Bright, C., Ganesh, V., Heinle, A., Kotsireas, I., Nejati, S., & Czarnecki, K. (2016). MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures Presented at the MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures conference. Retrieved from http://ceur-ws.org/Vol-1804/paper-04.pdf
Reference author: Saeed Nejati
First name
Saeed
Last name
Nejati
Bright, C., Ganesh, V., Heinle, A., Kotsireas, I., Nejati, S., & Czarnecki, K. (2016). MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures Presented at the MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures conference. https://doi.org/10.1007/978-3-319-45641-6_9