Bright, C., c, D. \v Z. \DHokovi\, Kotsireas, I., & Ganesh, V. (2019). A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples Presented at the A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples conference. Retrieved from https://arxiv.org/abs/1811.05094
Reference author: Vijay Ganesh
First name
Vijay
Last name
Ganesh
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., Kotsireas, I., & Ganesh, V. (2018). The SAT+CAS Paradigm and the Williamson Conjecture ACM Communications in Computer Algebra (CCA 2018).
Bright, C., Kotsireas, I., & Ganesh, V. (2018). Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture Submitted to the Journal of Symbolic Computation. Retrieved from https://arxiv.org/abs/1804.01172
Zulkoski, E., Ganesh, V., & Czarnecki, K. (2015). MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant Based on a Combination of Computer Algebra Systems and SAT Solvers conference. https://doi.org/10.1007/978-3-319-21401-6_41
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
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
Zulkoski, E., Ganesh, V., & Czarnecki, K. (2016). MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant Based on a Combination of Computer Algebra Systems and SAT Solvers conference. Retrieved from https://www.ijcai.org/Proceedings/16/Papers/636.pdf
Bright, C., Kotsireas, I., & Ganesh, V. (2018). A SAT+CAS Method for Enumerating Williamson Matrices of Even Order Presented at the A SAT+CAS Method for Enumerating Williamson Matrices of Even Order conference. Retrieved from https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16625
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