2010年度ニュース:CSPSAT プロジェクト
- 2011年3月16日(水) [CSPSAT]
- 第9回CSPSAT研究会の詳細情報を公開.
- 2010年12月24日(金) [NEWS]
- 2011年度人工知能学会全国大会 (JSAI2011)
において,オーガナイズドセッション「SAT技術の理論,実装,応用」を企画しております.
発表申込〆切は,2011年1月14日(金)〜27日(木) 14:00 です.
- 人工知能学会第81回人工知能基本問題研究会
が,2011年1月31日(月)--2月1日(火)に山梨大学で開催されます.
今回のテーマは,「AIの基本問題SATと応用技術」です.
- 2010年12月6日(月) [CSPSAT]
- 第8回CSPSAT研究会の詳細情報を公開.
- 2010年8月10日(火) [CSPSAT]
- 研究業績リストを更新.
- 2010年7月26日(月) 〜 28日(水) [CSPSAT]
- 第7回CSPSAT研究会が,長野県で開催されました.
- 2010年7月 [MAXSAT]
-
Fifth Evaluation of Max-SAT Solvers (Max-SAT-2010)
で,越村先生の QMaxSat が,Partial Max-SAT の Industrial で一位,
Crafted で二位を獲得!
- 2010年4月1日 [CSPSAT]
- プロジェクトが3年目に突入!
