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