06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
演題番号 | 2E4-OS-09a-2 |
---|---|
題目 | SATソルバーの学習節を考慮した新高速化手法 |
著者 | 早田 翔(九州大学システム情報科学府情報学専攻) 長谷川 隆三(九州大学大学院システム情報科学研究院情報学部門) 藤田 博(九州大学大学院システム情報科学研究院情報学部門) 越村 三幸(九州大学大学院システム情報科学研究院情報学部門) |
時間 | 06月05日(Wed) 15:40〜16:00 |
概要 | SAT問題とは、与えられた命題論理式の充足可能性を判定するものであり、回路検証問題などの様々な分野に応用されている。このため、SAT問題をより高速に解くことできるソルバーを作成することは重要である。 本論文では、既存のリスタート戦略と学習節管理戦略を改良した新たな高速化手法を提案する。また、それらを既存ソルバーと比較検討し、その結果を示す。 |
論文 | PDFファイル |