[公告] 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