2011年度ニュース:CSPSAT プロジェクト
- 2012年3月2日 [CSPSAT]
- 第12回CSPSAT研究会の情報を追加しました.
- 2011年11月15日 [CSPSAT]
- 第3回CSPSAT講演会の情報を追加しました.
- 第11回CSPSAT研究会の情報を追加しました.
- 2011年6月22日 [COMPETITION]
- 2011 SAT Competition で鍋島先生の glueminisat
(Application, UNSAT, CPU time) が金メダルを獲得しました.
他に銀メダル2個も獲得.
- 2011 Max-SAT Evaluation で越村先生の QMaxSat が
Partial Max-SAT, Application で1位,
Partial Max-SAT, Crafted で2位 になりました.
- 2011年4月1日 [CSPSAT]
- プロジェクトが最終年(4年目)に突入!
