2009年度ニュース：CSPSAT プロジェクト

2010年3月16日 [CSPSAT]

第6回CSPSAT研究会の 詳細情報を公開しました．

2010年3月8日 [SUGAR]

ICLP 2010 のワークショップ CICLOPS-WLPE 2010 の招待講演で，田村教授がSugarについて講演されるます．

2010年1月26日 [SUGAR]

FLOPS 2010: Tenth International Symposium on Functional and Logic Programming の招待講演で，田村教授が「SAT符号化および制約ソルバーSugar」について講演されます．

2010年1月19日 [CSPSAT]

第1回CSPSAT講演会の情報を公開しました．

2009年11月21日 [CSPSAT]

第5回CSPSAT研究会の 詳細情報を公開しました．

2009年10月6日 [SUGAR]

第4回制約ソルバ競技会(Fourth International CSP Solver Competition) の結果が公開され，田村先生の Sugar が全7部門中3部門で第1位を獲得しました． 詳しい結果は こちら

2009年7月15日 [CSPSAT]

第4回CSPSAT研究会の 詳細情報を公開しました．

2009年4月27日 [SAT]

Handbook of Satisfiability が2009年2月に出版されています．

2009年4月14日 [CSPSAT]

2008年度の研究業績を公開