- Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems by Zhengyu Li (video)
- Invited talk at the University of Windsor (Virtual) on February 14, 2025
- A SAT + Computer Algebra Attack on Ramsey Problems (PDF) by Conor Duggan
- Master's Presentation
- University of Waterloo in Waterloo, Canada on April 11, 2024
- A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem (PDF) by Zhengyu Li
- Invited talk at Anhui University (Virtual) on April 8, 2024
- A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem (PDF) by Zhengyu Li
- Master's Presentation
- University of Waterloo in Waterloo, Canada on August 11, 2023
- A SAT and Orderly Generation Approach in the Quest for the Minimum Kochen–Specker System (PDF) by Curtis Bright
- Invited Talk at CanaDAM
- University of Winnipeg in Winnipeg, Canada on June 6, 2023
- A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem (PDF) by Vijay Ganesh
- Invited Talk at Extended Reunion: Satisfiability
- Simons Institute in Berkeley, U.S.A. on May 1, 2023
- SAT + Isomorph-free Generation ...and the Quest for the Minimum Kochen–Specker System (PDF) by Curtis Bright
- Invited Talk at Pushing the Limits of Computational Combinatorial Constructions
- Dagstuhl Seminar in Wadern, Germany on April 20, 2023
- A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem (PDF) by Zhengyu Li
- 54th Southeastern International Conference on Combinatorics, Graph Theory & Computing
- Florida Atlantic University in Boca Raton, U.S.A on March 9, 2023
- SAT Solvers, Isomorph-free Generation, and the Quest for the Minimum Kochen–Specker System (PDF) by Curtis Bright
- UBC Discrete Math Seminar and SFU Discrete Math Seminar
- University of British Columbia and Simon Fraser University in Vancouver, Canada on February 7 and 8, 2023
- A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem (PDF) by Vijay Ganesh
- Invited Talk at Theory and Practice of SAT and Combinatorial Solving
- Dagstuhl Seminar in Wadern, Germany on October 14, 2022
- SAT Solving with Computer Algebra for Combinatorics (PDF) by Curtis Bright (video)
- Invited Talk at the Tutte Colloquium
- University of Waterloo in Waterloo, Canada on April 1, 2022
- Isomorph-Free Exhaustive Generation in SAT Solving (PDF) by Curtis Bright (video)
- Invited Tutorial at New Perspectives in Symbolic Computation and Satisfiability Checking
- Dagstuhl Seminar in Wadern, Germany on February 17, 2022
- When Computer Algebra meets Satisfiability: A New Approach to Combinatorial Mathematics (PDF) by Curtis Bright and Vijay Ganesh (video)
- Invited Talk at New Technologies in Mathematics Seminar Series
- Harvard University in Cambridge, U.S.A. on November 3, 2021
- Satisfiability Checking + Symbolic Computation: A New Approach to Combinatorial Mathematics (PDF) by Curtis Bright and Vijay Ganesh
- Invited Talk at LAPIS Meeting at Rice University in Houston, U.S.A. (Held Online) on July 14, 2021
- Computer Algebra and SAT for Mathematical Search (PDF) by Curtis Bright (video)
- Invited Talk at Theoretical Foundations of SAT/SMT Solving
- Simons Institute in Berkeley, U.S.A. (Held Online) on April 21, 2021
- A SAT-based resolution of Lam's problem (PDF) by Curtis Bright (video, highlight)
- 35th AAAI Conference on Artificial Intelligence (AAAI 2021)
- Vancouver, Canada (Held Online) on February 3, 2021
- Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem (PDF) by Curtis Bright (video, highlight)
- 29th International Joint Conference on Artificial Intelligence (IJCAI-20)
- Yokohama, Japan (Held Online) on January 14, 2021
- A Resolution of Lam's Problem via Satisfiability Solvers (PDF) by Curtis Bright (video)
- Invited Talk at Canadian Mathematical Society Winter Meeting (CMS 2020)
- Montréal, Canada (Held Online) on December 4, 2020
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (PDF) by Curtis Bright (video)
- 31st International Workshop on Combinatorial Algorithms (IWOCA 2020)
- University of Bordeaux in Bordeaux, France (Held Online) on June 8, 2020
- SAT Solving with Computer Algebra for Fast, Verified Mathematical Search (PDF) by Curtis Bright
- University of Windsor School of Computer Science Seminar
- University of Windsor in Windsor, Canada on March 12, 2020
- SAT Solving with Computer Algebra and its Application to Graph Theory and Geometry (PDF) by Curtis Bright
- Computational Geometry Lab Seminar
- Carleton University in Ottawa, Canada on February 28, 2020
- SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics (PDF) by Curtis Bright
- 29th International Conference on Computer Science and Software Engineering (CASCON 2019)
- Hilton Toronto / Markham Suites Conference Center and Spa in Markham, Canada on November 4, 2019
- SAT Solving with Computer Algebra: A Powerful Combinatorial Search Method (PDF) by Curtis Bright
- UBC Discrete Math Seminar
- University of British Columbia in Vancouver, Canada on September 10, 2019
- SAT Solving with Computer Algebra: A Powerful Combinatorial Search Method (PDF) by Curtis Bright
- University of Victoria Discrete Math Seminar
- University of Victoria in Victoria, Canada on September 6, 2019
- SAT Solving with Computer Algebra: A Powerful Combinatorial Search Method (PDF) by Curtis Bright
- SFU Discrete Math Seminar
- Simon Fraser University in Vancouver, Canada on September 3, 2019
- Searching for Projective Planes with Computer Algebra and SAT Solvers (PDF) by Curtis Bright
- 25th Conference on Applications of Computer Algebra (ACA 2019)
- École de technologie supérieure in Montréal, Canada on July 19, 2019
- SAT+CAS: A Powerful New Combinatorial Search Method (PDF) by Curtis Bright
- Ottawa–Carleton Combinatorics & Optimization Seminar
- Carleton University in Ottawa, Canada on October 5, 2018
- MathCheck: A SAT+CAS Mathematical Conjecture Verifier (PDF) by Curtis Bright
- 6th International Congress on Mathematical Software (ICMS 2018)
- University of Notre Dame in Notre Dame, U.S.A. on July 26, 2018
- Enumeration of Complex Golay Pairs via Programmatic SAT (PDF) by Curtis Bright
- 43rd International Symposium on Symbolic and Algebraic Computation (ISSAC 2018)
- City University of New York Graduate Center in New York, U.S.A. on July 17, 2018
- Hard Combinatorial Problems: A Challenge for Satisfiability (PDF) by Ilias Kotsireas
- Invited talk at the Third International Workshop on Satisfiability Checking and Symbolic Computation (SC2 2018)
- University of Oxford in Oxford, United Kingdom on July 11, 2018
- SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics (PDF) by Vijay Ganesh
- Plenary talk at the 24th Conference on Applications of Computer Algebra (ACA 2018)
- University of Santiago de Compostela in Santiago de Compostela, Spain on June 21, 2018
- A SAT+CAS Method for Enumerating Williamson Matrices of Even Order (PDF) by Curtis Bright
- Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2 2017)
- Technische Universität Kaiserslautern in Kaiserslautern, Germany on July 29, 2017
- Computational Methods for Combinatorial and Number Theoretic Problems (PDF) by Curtis Bright
- PhD defense
- University of Waterloo in Waterloo, Canada on March 23, 2017
- MathCheck2: Combining Learning-based Search (SAT) with Symbolic Computation (CAS) (PDF) by Vijay Ganesh and Curtis Bright
- First International Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016)
- Universitatea de Vest Timisoara in Timișoara, Romania on September 24, 2016
- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures (PDF) by Curtis Bright
- 18th International Workshop on Computer Algebra in Scientific Computing (CASC 2016)
- Universitatea din București in Bucharest, Romania on September 20, 2016
- MathCheck2: Combining CAS and SAT (PDF) by Albert Heinle
- 22nd Conference on Applications of Computer Algebra (ACA 2016)
- Universität Kassel in Kassel, Germany on August 2, 2016
- MathCheck: A Math Assistant Combining SAT with Computer Algebra Systems (PDF) by Curtis Bright
- 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
- New York Hilton Midtown in New York, U.S.A. on July 12, 2016
- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures (PDF) by Curtis Bright
- 14th International Workshop on Satisfiability Modulo Theories (SMT 2016)
- Universidade de Coimbra in Coimbra, Portugal on July 2, 2016
- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures (PDF) by Curtis Bright
- Computationally Assisted Mathematical Discovery and Experimental Mathematics (ACMES2)
- Western University in London, Canada on May 13, 2016
- PhD Research Proposal: A SAT+CAS system for checking math conjectures (PDF) by Curtis Bright
- University of Waterloo in Waterloo, Canada on March 14, 2016
- Computational Approaches to Open Problems in Combinatorics (PDF) by Ilias Kotsireas
- 14th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2016)
- Embassy Suites Fort Lauderdale in Fort Lauderdale, U.S.A. on January 5, 2016
- MathCheck: A Math Assistant Combining SAT with Computer Algebra Systems (PDF) by Ed Zulkoski
- The 25th jubilee edition of the International Conference on Automated Deduction (CADE-25)
- Freie Universität Berlin in Berlin, Germany on August 7, 2015