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

1D5-OS-11b-4in 大規模SAT問題の求解のための緩和解法の検討と提案

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

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

05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
1D5-OS-11b オーガナイズドセッション「OS-11 SAT技術の理論,実装,応用 (2)」
05月14日(Wed) 09:00〜10:40 D会場(48人-ひめぎんホール 第3会議室)
3O1 「インタラクティブセッション」

演題番号1D5-OS-11b-4in
題目大規模SAT問題の求解のための緩和解法の検討と提案
著者三神 直彬(山梨大学工学部コンピュータ・メディア工学科)
鍋島 英知(山梨大学大学院医学工学総合研究部)
時間05月12日(Mon) 18:00〜18:15【一般口頭発表】
05月14日(Wed) 09:00〜10:40【インタラクティブ発表】
概要SATソルバの性能向上に伴い,近年では非常に大規模なSAT問題を取り扱う場合が出てくるようになった.大規模SAT問題の中には,メモリに収まりきらない程巨大なものも存在する.そのようなSAT問題を求解するためには,問題中のどの節を抽出し,部分問題を生成するのかが重要となる.我々はメモリ上限値を超える大規模SAT問題の求解手法を示し,また求解のための効果的な節抽出手法を提案する.
論文PDFファイル