Publications

Search
Author Title Type [ Year(Asc)]
2024
Z. Li, Bright, C. , and Ganesh, V. , “A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem”, in Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024, 2024, pp. 1898–1906.
A. Barnoff, Bright, C. , and Shallit, J. O. , “Using Finite Automata to Compute the Base-b Representation of the Golden Ratio and Other Quadratic Irrationals”, in Implementation and Application of Automata - 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings, 2024, vol. 15015, pp. 35–50.
C. Bright, “A new lower bound in the abc conjecture”, Canadian Mathematical Bulletin, vol. 67, pp. 369–378, 2024.
Y. Ajani and Bright, C. , “SAT and Lattice Reduction for Integer Factorization”, in Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024, 2024, pp. 391–399.
C. Duggan, Li, Z. , Bright, C. , and Ganesh, V. , “A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)”, in Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-, 2024, pp. 23480–23481.
Z. Li, Bright, C. , and Ganesh, V. , “A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)”, in Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-, 2024, pp. 23559–23560.
N. Alamgir, Nejati, S. , and Bright, C. , “SHA-256 Collision Attack with Programmatic SAT”, in Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning, 2024, vol. 3717, pp. 91–110.
2023
Y. Ajani and Bright, C. , “A Hybrid SAT and Lattice Reduction Approach for Integer Factorization”, in Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023, 2023, vol. 3455, pp. 39–43.
2022
C. Bright and Davenport, J. H. , Eds., “Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021”, CEUR Workshop Proceedings, vol. 3273. CEUR-WS.org, 2022.
D. Dallaire and Bright, C. , “Enumerating Projective Planes of Order Nine with Proof Verification”, in Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022, 2022, vol. 3458, pp. 45–54.
N. Rubin, Bright, C. , Stevens, B. , and Cheung, K. K. H. , “Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract)”, in Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Eve, 2022, pp. 13037–13038.
Z. Li, Bright, C. , and Ganesh, V. , “An SC-Square Approach to the Minimum Kochen-Specker Problem”, in Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022, 2022, vol. 3458, pp. 55–66.
C. Bright, Kotsireas, I. S. , and Ganesh, V. , “When satisfiability solving meets symbolic computation”, Commun. ACM, vol. 65, pp. 64–72, 2022.
2021
C. Bright, Kotsireas, I. S. , Heinle, A. , and Ganesh, V. , “Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT”, J. Symb. Comput., vol. 102, pp. 153–172, 2021.
N. Rubin, Bright, C. , Cheung, K. K. H. , and Stevens, B. , “Improving Integer and Constraint Programming for Graeco-Latin Squares”, in 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021, 2021, pp. 604–608.
C. Bright, Cheung, K. K. H. , Stevens, B. , Kotsireas, I. S. , and Ganesh, V. , “A SAT-based Resolution of Lam's Problem”, in Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Eve, 2021, pp. 3669–3676.
2020
C. Bright, Kotsireas, I. S. , and Ganesh, V. , “Applying computer algebra systems with SAT solvers to the Williamson conjecture”, J. Symb. Comput., vol. 100, pp. 187–209, 2020.
C. Bright, Kotsireas, I. S. , and Ganesh, V. , “New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences”, IEEE Trans. Inf. Theory, vol. 66, pp. 7739–7751, 2020.
C. Bright, Cheung, K. K. H. , Stevens, B. , Roy, D. , Kotsireas, I. S. , and Ganesh, V. , “A nonexistence certificate for projective planes of order ten with weight 15 codewords”, Appl. Algebra Eng. Commun. Comput., vol. 31, pp. 195–213, 2020.
C. Bright, Cheung, K. K. H. , Stevens, B. , Kotsireas, I. S. , and Ganesh, V. , “Nonexistence Certificates for Ovals in a Projective Plane of Order Ten”, in Combinatorial Algorithms - 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings, 2020, vol. 12126, pp. 97–111.

Pages