Last time, we talked about the definition of the Boolean satisfiability problem.
We also talked about several kinds of algorithms for solving them. Types?
