05月31日(Sun) 17:20〜19:00 H会場(5F北-小講義室 (583))
演題番号 | 2H5-OS-03b-2 |
---|---|
題目 | SATソルバーの安定性向上のための粗な初期探索手法の検討と提案 |
著者 | 三神 直彬(山梨大学大学院医学工学総合教育部コンピュータ•メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
時間 | 05月31日(Sun) 17:40〜18:00 |
概要 | SATソルバーの安定性向上を目的とし,粗な探索を行うSAT問題の求解手法を提案する.提案手法では,SAT問題の求解序盤で積極的に探索空間を荒く探索することで,探索範囲に当たりをつける.中盤以降で,序盤で獲得した情報を利用しながら通常の探索を行い,安定性と求解速度の向上を狙う.また,評価実験を行い提案手法の有効性を検討していく. |
論文 | PDFファイル |