※ 引述《ric2k1 (Ric)》之銘言：
: 請推文註明你的選擇, 組員, 與志願序 (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) 也要寫一下你們的題目哦!)
最後結果為：(組別) 組員 (題目)
3. Parallel SAT for difficult SAT problems
(3) 周昇 許博雅
4. Enhancing similarity for combinational equivalence checking
(4) 倪鈴雅
6. A SAT-based exist-forall solver
(6) 韓承駪
7. A SAT game
(7.1) 鍾逸亭
(7.2) 張志瑋
(7.3) 許燦森
8. SAT Applications
(8.1) 劉裕平 (排列組合SAT應用)
(8.2) 林士軒 (SAT圖學整合應用)
9. SMT Applications
(9) 朱振愷 (Encoding SystemC Concurrency Issue into SMT Problem)
(11) 戴伃芸(An original word-level SAT solver)
(12) 何彥昇 謝橋(Induction-based Unbounded Model Checking on SystemC Designs)
(13) 賴建宇 王冠璋 (Speeding up virtual platform simulation by USCM and
parallelization)
如果有任何問題，請盡快跟我反應!!