題目 | 3J1-01 人工知能学会全国大会プログラム自動作成ツールの開発 |
---|---|
著者 | 西村 直史 (九州大学大学院システム情報科学府) 徳永 亮 (九州大学大学院システム情報科学府) 櫻井 祐子 (九州大学大学院システム情報科学研究院) 大田 直樹 (九州大学大学院システム情報科学府知能システム学専攻) 岩崎 敦 (九州大学大学院システム情報科学研究院知能システム学部門) 横尾 真 (九州大学大学院システム情報科学研究院知能システム学部門) |
論文 | PDFファイル |
題目 | 3J1-02 マルチコアクラスタ環境での並列SATソルバの評価 |
---|---|
著者 | 大村 圭 (早稲田大学基幹理工学研究科) 上田 和紀 (早稲田大学 理工学術院) |
論文 | PDFファイル |
題目 | 3J1-03 停止性証明に基づく項書換え系多重完備化手続き |
---|---|
著者 | 佐藤 晴彦 (北海道大学) 栗原 正仁 (北海道大学情報科学研究科) |
論文 | PDFファイル |
題目 | 3J1-04 探索アルゴリズムにおける枝刈り手法の結合 |
---|---|
著者 | 福永 アレックス (東京工業大学) |
論文 | PDFファイル |