楼主:
ric2k1 (Ric)
2010-05-06 02:23:52※ 引述《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