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

[公告] Final Project Announcement

楼主: ric2k1 (Ric) 2011-05-28 19:09:55

On ceiba website:
https://ceiba.ntu.edu.tw/course/6955cc/ProjectsHome.htm
Please take a look at the problem descriptions and discuss with your friends
on the topics you are interested. If you have any question, please feel free
to let me know.
The topic selection will start at 12am tomorrow (29 hours from now).

作者: q82465 (小咪妈咪) 2011-05-28 20:43:00

29小时后应该是后天@_@??所以是星期天的半夜12点...

作者: Neilhahaha 2011-05-28 21:08:00

题目2 3 6 8 9 10连不到耶@@?

楼主: ric2k1 (Ric) 2011-05-29 08:05:00

Oh, sorry. Links have been fixed.

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

R99943082 韩承駪 A SAT-based exist-forall solverR99943142 张志玮 A SAT game

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

R99943078 B96901184 Parallel SAT

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

R99943080 钟逸亭 SAT Applications

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

====== 请推下一篇!! 谢谢!! ======

继续阅读

[情报] 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 HW#4-1未缴交名单kaie819