※ 引述《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)
如果有任何问题，请尽快跟我反应!!