Folgen
Curtis Bright
Titel
Zitiert von
Zitiert von
Jahr
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
342017
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
312020
Effective problem solving using SAT solvers
C Bright, J Gerhard, I Kotsireas, V Ganesh
Maple Conference, 205–219, 2019
242019
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
232016
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
212021
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
182018
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
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
142020
When satisfiability solving meets symbolic computation
C Bright, I Kotsireas, V Ganesh
Communications of the ACM 65 (7), 64-72, 2022
122022
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
122021
New infinite families of perfect quaternion sequences and Williamson sequences
C Bright, I Kotsireas, V Ganesh
IEEE Transactions on Information Theory, 2020
112020
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
Z Li, C Bright, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23559 …, 2024
92024
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
92019
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
92019
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
82020
Computational methods for combinatorial and number theoretic problems
C Bright
University of Waterloo, 2017
82017
Vector rational number reconstruction
C Bright, A Storjohann
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
72011
Minimal elements for the prime numbers
C Bright, R Devillers, J Shallit
Experimental Mathematics 25 (3), 321–331, 2016
62016
An SC-Square Approach to the Minimum Kochen–Specker Problem
Z Li, C Bright, V Ganesh
SC-Square Workshop, 2022
52022
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20