I defended my PhD thesis Computational Methods for Combinatorial and Number Theoretic Problems on March 23, 2017 and it was published by UWSpace on April 27, 2017.
Below is the known list of errata. These have been fixed in my online version. If you spot any other mistakes, please contact cbright.
Page 41: The instances of $\operatorname{PAF}_X(s)$ should be replaced with $\operatorname{PAF}_X(k)$.
Page 64, Example 4.1: The condition $r_a+i_a\equiv n\pmod{2}$ is missing.
Page 65, third line from bottom: The second and fourth As should be replaced with Bs.
Page x and 40: Accuracy → accuracy
Page 7: sc-square.org → www.sc-square.org
Page 12: Davis-Putnam-Logemann-Loveland → Davis–Putnam–Logemann–Loveland
Page 38: MiniSAT → MiniSat
Page 58: Chretien → Chrétien