/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

2H5-OS-03b オーガナイズドセッション「OS-3 SAT技術の理論,実装,応用 (2)」

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月31日(Sun) 17:20~19:00 H会場(5F北-小講義室 (583))
座長 上田 和紀(早稲田大学)

発表一覧

時間 17:20~17:40
題目 2H5-OS-03b-1 SCSat3によるラムゼーグラフ探索について
著者 藤田 博(九州大学大学院システム情報科学研究院情報学部門)
論文 PDFファイル

時間 17:40~18:00
題目 2H5-OS-03b-2 SATソルバーの安定性向上のための粗な初期探索手法の検討と提案
著者 三神 直彬(山梨大学大学院医学工学総合教育部コンピュータ•メディア工学専攻)
鍋島 英知(山梨大学大学院医学工学総合研究部)
論文 PDFファイル

時間 18:00~18:20
題目 2H5-OS-03b-3 変数のindexのshuffleによる多様性効果について
著者 ムン ソンス(東京大学)
論文 PDFファイル

時間 18:20~18:40
題目 2H5-OS-03b-4 SAT問題におけるCommunity rankの提案
著者 戸ヶ崎 仁宣(東京大学大学院情報理工学研究科創造情報学専攻)
手塚 宏史(東京大学大学院情報理工学系研究科創造情報学専攻)
稲葉 真理(東京大学大学院情報理工学系研究科創造情報学専攻)
論文 PDFファイル

時間 18:40~19:00
題目 2H5-OS-03b-5 組合せテストケース生成問題に対する制約解集合プログラミングの適用
著者 兼行 大将(神戸大学大学院システム情報学研究科)
番原 睦則(神戸大学 情報基盤センター)
宋 剛秀(神戸大学 情報基盤センター)
田村 直之(神戸大学 情報基盤センター)
井上 克巳(国立情報学研究所)
論文 PDFファイル