| 2025 | IJCAI | Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems. | Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh |
| 2025 | MSR | Understanding the Popularity of Packages in Maven Ecosystem. | Sadman Jashim Sakib, Muhammad Asaduzzaman, Curtis Bright, Cole Morgan |
| 2024 | AAAI | A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). | Zhengyu Li, Curtis Bright, Vijay Ganesh |
| 2024 | AAAI | A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). | Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh |
| 2024 | IJCAI | A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem. | Zhengyu Li, Curtis Bright, Vijay Ganesh |
| 2024 | ISSAC | SAT and Lattice Reduction for Integer Factorization. | Yameen Ajani, Curtis Bright |
| 2022 | AAAI | Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract). | Noah Rubin, Curtis Bright, Brett Stevens, Kevin K. H. Cheung |
| 2021 | AAAI | A SAT-based Resolution of Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2021 | ICTAI | Improving Integer and Constraint Programming for Graeco-Latin Squares. | Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens |
| 2020 | IJCAI | Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2020 | IWOCA | Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2019 | AAAI | A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. | Curtis Bright, Dragomir Z. okovic, Ilias S. Kotsireas, Vijay Ganesh |
| 2018 | AAAI | A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. | Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh |
| 2018 | ISSAC | Enumeration of Complex Golay Pairs via Programmatic SAT. | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
| 2016 | CASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | SYNASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2011 | ISSAC | Vector rational number reconstruction. | Curtis Bright, Arne Storjohann |