※ 引述《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