虽然明天不知道会不会教到，但除了最后几页之外，已经放上网了。
Please note that I have rearranged the SAT slides so that our syllabus will
have the following changes:
5. Boolean Satisfiability (SAT) Solver
6. SAT-Based Verification
7. Applications of SAT