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年目)に突入!
