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

2009年2月18日 [CSPSAT]

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

2009年01月30日 [SAT]

MITが開発している FORGE: Bounded Program Verification というツールでも，SAT4Jが使われているようです．

2008年11月26日 [CSPSAT]

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

2008年09月21日 [SUGAR]

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

2008年07月06日 [CSPSAT]

第1回CSPSAT研究会の 詳細(発表プログラム，懇親会情報など)を公開しました．

2008年07月04日 [SAT4J]

統合開発環境のEclipse 3.4で，プラグインの依存関係管理にJava版SATソルバー のSAT4Jが使われているそうです．

http://mail-archive.ow2.org/sat4j-dev/2008-03/msg00001.html

参考文献[2]中には，パッケージの依存関係解析はNP-complete問題と書かれています．

2008年07月01日 [CSPSAT]

第1回CSPSAT研究会が，8月21日〜22日に神戸大学で開催される予定です．