A SAT + Computer Algebra System Verification of the Ramsey Problems R(3,8) and R(3,9)
Conor Duggan
MMath, University of Waterloo, 2024.
[pdf]
Programmatic SAT for SHA-256 Collision Attack
Nahiyan Alamgir
MSci, University of Windsor, 2024.
[pdf]
A Hybrid SAT and Lattice Reduction Approach for Integer Factorization
Yameen Ajani
MSci, University of Windsor, 2024.
[pdf]
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem
Zhengyu Li
MMath, University of Waterloo, 2023.
[pdf]
Understanding and Enhancing CDCL-based SAT Solvers
Edward Zulkoski
PhD, University of Waterloo, 2018.
[pdf] [bib]
Computational Methods for Combinatorial and Number Theoretic Problems
Curtis Bright
PhD, University of Waterloo, 2017.
[pdf] [bib]