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