PhD thesis of Curtis Bright

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.

Mathematical typos

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.

Minor corrections

Page x and 40: Accuracy → accuracy

Page 7:

Page 12: Davis-Putnam-Logemann-Loveland → Davis–Putnam–Logemann–Loveland

Page 38: MiniSAT → MiniSat

Page 58: Chretien → Chrétien