[公告] Final Project Topic Selection ric2k1 PTT批踢踢实业坊

[公告] Final Project Topic Selection

楼主: ric2k1 (Ric) 2011-05-30 00:15:06

请推文注明你的选择, 组员, 与志愿序 (if multiple)
截止时间: 11:00pm Monday (06/06)
(e.g.)
推 XXXX: [志愿一] 2 王一二李三四
推 XXXX: [志愿二] 4 王一二李三四
推 YYYYY: 6 黄忠孝张信义
推 ZZZ: 自选 (Why do I take SoCV?) 陈虎兰林小三
(8,9,10 题 (XXX Application) 也要写一下你们的题目哦!)

楼主: ric2k1 (Ric) 2011-05-30 00:15:00

上一篇已经推的人，不好意思，请再推一次。谢谢!!

作者: chousheng (transimission) 2011-05-30 00:32:00

[志愿一] 3 周升许博雅

作者: san1326 (灿森) 2011-05-30 00:39:00

10 许灿森

作者: hihisasa (尼尼亚) 2011-05-30 00:41:00

[志愿一] 4 倪铃雅

作者: kanzakiken (游天) 2011-05-30 00:50:00

8 刘裕平题目 : 排列组合SAT应用

作者: SSHUAN (SHUAN) 2011-05-30 00:53:00

8 林士轩题目 SAT图学整合应用

作者: q82465 (小咪妈咪) 2011-05-30 10:45:00

[志愿一] 7 钟逸亭

作者: gn00670191 (我想换帐号...) 2011-05-30 14:53:00

[志愿一] 7 张志玮[志愿一] 6 韩承駪

作者: keyboardle (朱弟) 2011-06-01 08:47:00

9 朱振恺 Encoding SystemC Concurrency Issue intoSMT Problem

作者: q82465 (小咪妈咪) 2011-06-01 15:23:00

[志愿二] 6 韩承駪钟逸亭

作者: yunmeow (Yunmeow) 2011-06-01 22:09:00

自选 (An original word-level SAT solver) 戴伃芸

作者: ysho 2011-06-01 22:32:00

自选 (Induction-based Unbounded Model Checking on SystemCDesigns) 何彦升谢桥

作者: flax00298 (NI) 2011-06-02 02:52:00

自选 Speeding up virtual platform simulation by USCMand parallelization（赖建宇+王冠璋）

作者: san1326 (灿森) 2011-06-02 07:53:00

[志愿一] 7 许灿森

继续阅读

[公告] Final Project Announcement ric2k1 [情报] Lecture note #7 & others...ric2k1 HW#5-1未缴交名单kaie819 [情报] Circuit SAT 的问题ric2k1 HW#4-2未缴交名单kaie819 [情报] Lecture note #6 (up to p94)ric2k1 [问题] ceibayunmeow [问题] hw4-2chousheng [情报] testBdd 无法 make?ric2k1 Re: [问题] HW4-2ric2k1