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