| English | Japanese | CSPSAT (until FY2011) |
|
| ニュース | プロジェクト概要 | 講演会 ＆研究会 |
研究成果物 (論文・ソフトウェア等) |
ニュース
| 2015年12月10日 | 国立情報学研究所・共同研究・戦略研究公募型の研究プロジェクトクラウド上のソフトウェア最適配置問題の解法のページを公開しました． |
| 2014年12月11日 | 第8回CSPSAT講演会が2015年3月23-24日に開催されます． |
| 2014年12月10日 | CSPSAT2 プロジェクトメンバーの宋先生が日本ソフトウェア科学会の第31回大会高橋奨励賞を受賞しました. |
| 2014年8月28日 | 2014年8月28日にDAシンポジウム内にて開催されたアルゴリズムデザインコンテスト でCSPATプロジェクトで開発されたSugarとGlueMiniSatを用いたナンバーリンクソルバーが最優秀賞 (1位) を受賞しました! |
| 2014年7月21日 | 第5回CSPSAT2研究会が2014年8月21-22日に開催されます． |
| 2014年4月22-23日 | SAT競技会の優勝SATソルバーGlucoseの開発者であるLaurent Simon 先生をフランスからお招きし 第7回CSPSAT講演会 を2014年4月22, 23日に開催しました. |
 |
|
| 第7回CSPSAT講演会の様子 | |
| 2014年3月20日 |
CSPSAT2 プロジェクトメンバーの鍋島先生と井上先生が山梨大学の岩沼先生と執筆された以下の論文が日本ソフトウェア科学会のソフトウェア論文賞を受賞しました. GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー 鍋島英知, 岩沼宏治, 井上克巳. コンピュータソフトウェア, Vol.29, No.4, pp.146-160, 2012. 10.11309/jssst.29.4_146 |
| 2014年3月7日 |
2014年度人工知能学会全国大会（5月12〜15日, 愛媛/松山）で以下開催されます． オーガナイズドセッション「SAT技術の理論，実装，応用」 |
| 2014年2月26日 | Laurent Simon 先生をフランスからお招きし 第7回CSPSAT講演会 を2014年4月22, 23日に神戸大学で開催します． |
| 2014年2月13日 |
NIIグランドチャレンジ・NII共同研究・CSPSAT2 合同セミナー を2014年3月13-16日に開催します． |
| 2013年7月12日 | CSPSAT2 プロジェクトメンバーの鍋島先生が開発されている GlueMiniSat が SAT Competition 2013 の Application 部門 Certified UNSAT クラスで準優勝しました． |
| 2013年7月12日 | 九州大学 長谷川研究室 越村先生が開発されている QMaxSAT が MaxSAT Evaluation 2013 の Partial MaxSAT Industrial 部門で準優勝しました．越村先生は旧CSPSATプロジェクトの中心メンバーです． |
| 2013年7月24-26日 |
論理と推論の理論，実装，応用に関する合同セミナー, 第3回CSPSAT2研究会 を北海道大学で2013年7月24-26日に開催しました． |
 |
|
| 論理と推論の理論，実装，応用に関する合同セミナー での集合写真 | |
| 2013年7月8-12日 | SAT 2013 国際会議はフィンランドのヘルシンキで2013年7月8-12日に開催されます． |
| 2013年3月17日 | 九州大学 長谷川研究室 藤田先生がSAT技術を用いて，ラムゼー数 R(4,8) の下界を58に更新しました (web page, arXiv:1212.1328)．藤田先生は旧CSPSATプロジェクトの中心メンバーです． |
| 2013年1月17日 | 第2回CSPSAT2研究会 (2013年3月14-15日) の情報を追加しました． |
| 2012年12月20日 | 2013年度人工知能学会全国大会（第27回）のオーガナイズドセッションの一つに「SAT技術の理論，実装，応用」が採択されました． |
| 2012年12月3日 | 鍋島准教授が第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) の招待講演者の一人に選ばれました． |
| 2012年11月21-23日 | The CRIL-NII Collaborative Meeting on Reasoning about Dynamic Constraint Networks |
| 2012年11月19-20日 | The 4th JFLI-LRI-NII Workshop on Consequence Finding and Satisfiability Testing in Distributed Environments and Systems Biology |
| 2012年9月28日 | 第5回CSPSAT&ASP講演会 (2012年10月11-12日開催) の情報を追加しました． |
| 2012年7月12-13日 | 第1回CSPSAT2研究会・NII共同研究・合同研究会の情報を追加しました． |
| 2012年4月17日 | 新プロジェクト (CSPSAT2) 突入に伴いホームページをリニューアル！ |
| 2012年4月16日 | 第4回CSPSAT&ASP講演会の情報を追加しました． |
 |
 |
| 第4回CSPSAT&ASP講演会 (2012年5月21-22日) の様子 | |
バックナンバー
 |
Tamura Lab.T. Soh |