Curtis Bright
Cited by
Cited by
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
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
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
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
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
Vector rational number reconstruction
C Bright, A Storjohann
Proceedings of the 36th international symposium on Symbolic and algebraic†…, 2011
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
Computational methods for combinatorial and number theoretic problems
C Bright
University of Waterloo, 2017
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
Minimal elements for the prime numbers
C Bright, R Devillers, J Shallit
Experimental Mathematics 25 (3), 321–331, 2016
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
New infinite families of perfect quaternion sequences and Williamson sequences
C Bright, I Kotsireas, V Ganesh
IEEE Transactions on Information Theory, 2020
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
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
Neural networks for insurance fraud detection
P Keung, J Karel, C Bright, 2009
Effective problem solving using SAT solvers
C Bright, J Gerhard, I Kotsireas, V Ganesh
Maple Conference, 205–219, 2019
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
C Bright, DZ Djoković, I Kotsireas, V Ganesh
Annals of Mathematics and Artificial Intelligence 87 (4), 321–342, 2019
A New Form of Williamson's Product Theorem
C Bright
arXiv preprint arXiv:1711.07056, 2017
Computing the Galois group of a polynomial
C Bright, 2013
Solving Ramanujan's square equation computationally
C Bright, 2008
The system can't perform the operation now. Try again later.
Articles 1–20