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: Curtis Bright
First name
Curtis
Last name
Bright
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
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
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
Bright, C. (2017). Computational Methods for Combinatorial and Number Theoretic Problems Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13525