Get started
Author

Curtis Bright

Observed name: Bright, Curtis
ORCID: 0000-0002-0462-625X
Observed ORCID: 0000-0002-0462-625X
OpenAlex ID: A5084329266
Applying computer algebra systems with SAT solvers to the Williamson conjecture
2019 · Curtis Bright, Ilias Kotsireas, et al. · Journal of Symbolic Computation · 26
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures
2016 · Edward Zulkoski, Curtis Bright, et al. · Journal of Automated Reasoning · 23
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order
2018 · Curtis Bright, Ilias Kotsireas, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 16
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
2016 · Curtis Bright, Vijay Ganesh, et al. · Lecture notes in computer science · 14
Vector rational number reconstruction
2011 · Curtis Bright, Arne Storjohann · International Symposium on Symbolic and Algebraic Computation · 13
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT
2019 · Curtis Bright, Ilias Kotsireas, et al. · Journal of Symbolic Computation · 10
When satisfiability solving meets symbolic computation
2022 · Curtis Bright, Ilias Kotsireas, et al. · Communications of the ACM · 9
Enumeration of Complex Golay Pairs via Programmatic SAT
2018 · Curtis Bright, Ilias Kotsireas, et al. · ACM International Symposium on Symbolic and Algebraic Computation (ISSAC) · 9
PDF
A SAT-based Resolution of Lam's Problem
2021 · Curtis Bright, Kevin K. H. Cheung, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 6
Computational Methods for Combinatorial and Number Theoretic Problems
2017 · Curtis Bright · UWSpace (University of Waterloo) · 6
PDF
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
2019 · Curtis Bright, Dragomir Ž. Đoković, et al. · Annals of Mathematics and Artificial Intelligence · 4
PDF
A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem
2023 · Zhengyu Li, Curtis Bright, et al. · Research Square · 3
PDF
Minimal Elements for the Prime Numbers
2016 · Curtis Bright, Raymond Devillers, et al. · Experimental Mathematics · 3
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem
2024 · Zhengyu Li, Curtis Bright, et al. · 2
PDF
SAT and Lattice Reduction for Integer Factorization
2024 · Yameen Ajani, Curtis Bright · International Symposium on Symbolic and Algebraic Computation · 2
PDF
A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem
2023 · Zhengyu Li, Curtis Bright, et al. · Research Square · 2
A SAT-based Resolution of Lam's Problem
2020 · Bright, Curtis, Cheung, Kevin K. H., et al. · arXiv (Cornell University) · 2
A New Form of Williamson's Product Theorem
2017 · Bright, Curtis · arXiv (Cornell University) · 2
PDF
Understanding the Popularity of Packages in Maven Ecosystem
2025 · Sadman Jashim Sakib, Muhammad Asaduzzaman, et al. · Preprints.org · 1
PDF
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
2024 · Zhengyu Li, Curtis Bright, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 1
PDF
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract)
2022 · Noah Rubin, Curtis Bright, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 1
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares
2021 · Rubin, Noah, Bright, Curtis, et al. · arXiv (Cornell University) · 1
PDF
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics
2019 · Bright, Curtis, Kotsireas, Ilias, et al. · arXiv (Cornell University) · 1
PDF
The SAT+CAS paradigm and the Williamson conjecture
2019 · Curtis Bright, Ilias Kotsireas, et al. · ACM communications in computer algebra · 1
A doubling construction for Williamson matrices
2018 · Bright, Curtis · arXiv (Cornell University) · 1
PDF
Works count: 59
Citation count: 161
H-index: 8
I10-index: 6
Year
Topic
Type