※ 引述《ric2k1 (Ric)》之銘言：
: 雖然明天不知道會不會教到，但除了最後幾頁之外，已經放上網了。
之前上傳的版本只做到 p111,
已將剩下的部份做完且上傳，共 128 頁。
: 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