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日に神戸大学で開催される予定です.
