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]
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 thesis, University of Waterloo, 2018.
[pdf] [bib]
Computational Methods for Combinatorial and Number Theoretic Problems
Curtis Bright
PhD thesis, University of Waterloo, 2017.
[pdf] [bib]