Bright, C., Kotsireas, I., Heinle, A., & Ganesh, V. (2018). Enumeration of Complex Golay Pairs via Programmatic SAT Presented at the Enumeration of Complex Golay Pairs via Programmatic SAT conference. https://doi.org/10.1145/3208976.3209006
Reference author: Albert Heinle
First name
Albert
Last name
Heinle
Zulkoski, E., Bright, C., Heinle, A., Kotsireas, I., Czarnecki, K., & Ganesh, V. (2017). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures Journal of Automated Reasoning. https://doi.org/10.1007/s10817-016-9396-y
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
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