This page will contain lists of reading material related to the course. A list of the required readings will be maintained separately.

• Notes on Satisfiability-Based Problem Solving
• "Everything is Bigger in Texas" web page on "The worlds largest math proof", or, more importantly for this class: solving the Boolean Pythagorean Triples problem using a SAT solver and lots and lots compute of cores.
• Association for Constraint Programming page with descriptions of some recent interesting applications, including two I mentioned in class: self-assembling protein design and the Rosetta mission to the comet 67P/Churyumov-Gerasimenko.
• Quanta article on using a SAT solver to resolve Keller's Conjecture.
• Quanta article on (maybe) using a SAT solver to resolve the Collatz Conjecture.