雖然明天不知道會不會教到，但除了最後幾頁之外，已經放上網了。
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