PhD theses

Understanding and Enhancing CDCL-based SAT Solvers
Edward Zulkoski
University of Waterloo, 2018.
[pdf] [bib]

Computational Methods for Combinatorial and Number Theoretic Problems
Curtis Bright
University of Waterloo, 2017.
[pdf] [bib]