Follow
Curtis Bright
Title
Cited by
Cited by
Year
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures
E Zulkoski, C Bright, A Heinle, IS Kotsireas, K Czarnecki, V Ganesh
Journal of Automated Reasoning 36, 241–256, 2017
312017
Applying computer algebra systems with SAT solvers to the Williamson conjecture
C Bright, I Kotsireas, V Ganesh
Journal of Symbolic Computation 100, 187–209, 2020
232020
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
C Bright, V Ganesh, A Heinle, I Kotsireas, S Nejati, K Czarnecki
International Workshop on Computer Algebra in Scientific Computing, 117–133, 2016
202016
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order
C Bright, I Kotsireas, V Ganesh
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence†…, 2017
172017
Enumeration of Complex Golay Pairs via Programmatic SAT
C Bright, I Kotsireas, A Heinle, V Ganesh
ISSAC '18 Proceedings of the 2018 ACM International Symposium on Symbolic†…, 2018
162018
A nonexistence certificate for projective planes of order ten with weight 15 codewords
C Bright, K Cheung, B Stevens, D Roy, I Kotsireas, V Ganesh
Applicable Algebra in Engineering, Communication and Computing 31, 195–213, 2020
122020
A SAT-based Resolution of Lam's Problem
C Bright, KKH Cheung, B Stevens, I Kotsireas, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3669-3676, 2021
102021
New infinite families of perfect quaternion sequences and Williamson sequences
C Bright, I Kotsireas, V Ganesh
IEEE Transactions on Information Theory, 2020
102020
Effective problem solving using SAT solvers
C Bright, J Gerhard, I Kotsireas, V Ganesh
Maple Conference, 205–219, 2019
102019
Vector rational number reconstruction
C Bright, A Storjohann
Proceedings of the 36th international symposium on Symbolic and algebraic†…, 2011
92011
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT
C Bright, I Kotsireas, A Heinle, V Ganesh
Journal of Symbolic Computation 102, 153–172, 2021
82021
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
C Bright, D –okovic, I Kotsireas, V Ganesh
Thirty-Third AAAI Conference on Artificial Intelligence, 1435–1442, 2019
82019
Computational methods for combinatorial and number theoretic problems
C Bright
University of Waterloo, 2017
82017
Unsatisfiability Proofs for Weight 16 Codewords in Lam’s Problem
C Bright, KKH Cheung, B Stevens, I Kotsireas, V Ganesh
Twenty-Ninth International Joint Conference on Artificial Intelligence, 1460†…, 2020
72020
SAT solvers and computer algebra systems: a powerful combination for mathematics
C Bright, I Kotsireas, V Ganesh
29th International Conference on Computer Science and Software Engineering†…, 2019
62019
Minimal elements for the prime numbers
C Bright, R Devillers, J Shallit
Experimental Mathematics 25 (3), 321–331, 2016
62016
Vector rational number reconstruction
C Bright, A Storjohann
Master's thesis, University of Waterloo, 2009
42009
Integer and constraint programming revisited for mutually orthogonal latin squares
N Rubin, C Bright, KKH Cheung, B Stevens
arXiv preprint arXiv:2103.11018, 2021
32021
Neural networks for insurance fraud detection
P Keung, J Karel, C Bright
https://cs.uwaterloo.ca/~cbright/reports/STAT840-project.pdf, 2009
32009
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
C Bright, KKH Cheung, B Stevens, I Kotsireas, V Ganesh
31st International Workshop on Combinatorial Algorithms, 97–111, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20