PTT
Submit
Submit
选择语言
正體中文
简体中文
PTT
GIEE_SoC_V
[情报] Lecture note #5
楼主:
ric2k1
(Ric)
2010-04-15 21:51:04
虽然明天不知道会不会教到,但除了最后几页之外,已经放上网了。
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
继续阅读
[情报] 关于作业3 simulate答案不对有可能的问题群
rockyai
[问题] 手写问题第二题
Jacy0216
[公告] HW 3-2 reference code 更正
ric2k1
[问题] HW3-2 有关于virtual function
kaie819
Re: [问题] HW3-1
ric2k1
[问题] HW3-1
pokia
Re: [情报] HW3
ric2k1
Re: [情报] HW3
ric2k1
[情报] HW2未缴交名单
rockyai
[情报] HW3
ric2k1
Links
booklink
Contact Us: admin [ a t ] ucptt.com