05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
| 演題番号 | 1D5-OS-11b-2in |
|---|---|
| 題目 | CDCL ソルバーのための軽量動的包摂検査 |
| 著者 | 杉本 拓也(山梨大学大学院医学工学総合教育部コンピュータ•メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 時間 | 05月12日(Mon) 17:30〜17:45【一般口頭発表】05月14日(Wed) 09:00〜10:40【インタラクティブ発表】 |
| 概要 | CDCLソルバーの求解速度向上を目的として，学習節生成時に包摂検査を動的に行う手法を提案する．我々の手法は Hamadi らによる動的包摂検査の拡張であり，融合法における親節と子節との間の包摂関係だけでなく，祖先節との包摂関係を高速に検査可能である．評価実験の結果は，我々の提案手法により，性能の改善が得られることを示している． |
| 論文 | PDFファイル |