Publications
] , “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.
, “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.
, “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.
, “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.
, “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.
, “When satisfiability solving meets symbolic computation”, Commun. ACM, vol. 65, pp. 64–72, 2022.
, “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.
, “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.
, “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.
, “A new lower bound in the abc conjecture”, Canadian Mathematical Bulletin, vol. 67, pp. 369–378, 2024.
, “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.
, “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.
, “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.
, “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.
