Publications

Preprints

14. A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords
Curtis Bright, Kevin Cheung, Brett Stevens, Dominique Roy, Ilias Kotsireas, Vijay Ganesh
In submission
[pdf] [bib]

Peer-reviewed Publications

13. The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
Curtis Bright, Dragomir Ž. Ðoković, Ilias Kotsireas, Vijay Ganesh
Annals of Mathematics and Artificial Intelligence (AMAI 2019)
[pdf] [bib]

12. SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics
Curtis BrightIlias Kotsireas, Vijay Ganesh
The 29th International Conference on Computer Science and Software Engineering (CASCON 2019)
[pdf] [bib]

11. ​Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT
Curtis Bright, Ilias Kotsireas, Albert HeinleVijay Ganesh
Journal of Symbolic Computation (JSC 2019)
[pdf] [bib]

10. ​Applying Computer Algebra Systems with SAT Solvers to the Williamson Conjecture
Curtis Bright, Ilias Kotsireas, Vijay Ganesh
Journal of Symbolic Computation (JSC 2019)
[pdf] [bib]

9. A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
Curtis Bright, Dragomir Ž. Ðoković, Ilias Kotsireas, Vijay Ganesh
The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019)
[pdf] [bib] [poster]

8. Enumeration of Complex Golay Pairs via Programmatic SAT
Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
The 43rd International Symposium on Symbolic and Algebraic Computation (ISSAC 2018)
[pdf] [bib]

7. A SAT+CAS Method for Enumerating Williamson Matrices of Even Order
Curtis Bright, Ilias Kotsireas, Vijay Ganesh
The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018)
[pdf] [bib] [poster]

6. The SAT+CAS Paradigm and the Williamson Conjecture
Curtis Bright, Ilias Kotsireas, Vijay Ganesh
ACM Communications in Computer Algebra (CCA 2018)
[pdf] [bib] [poster]

5. Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures
Ed Zulkoski, Curtis Bright, Albert Heinle, Ilias Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
Journal of Automated Reasoning (JAR 2017)
[pdf] [bib]

4. MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias Kotsireas, Saeed Nejati, Krzysztof Czarnecki
1st Workshop on Satisfiability Checking and Symbolic Computation (SC² 2016)
[pdf] [bib]

3. MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias Kotsireas, Saeed Nejati, Krzysztof Czarnecki
The 18th International Workshop on Computer Algebra in Scientific Computing (CASC 2016)
Symbolic Computation + Satisfiability Checking (SC²) Track Invited Paper
[pdf] [bib]

2. MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers
Ed Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
The 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)​
IJCAI 'Sister Conference Best Paper Track' Invited Paper
[pdf] [bib]

1. MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers
Ed Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
The 25th International Conference on Automated Deduction (CADE 2015)​
MathCheck selected for JAR Special Issue on Best Papers at CADE 2015
[pdf] [bib]

Publications search