06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
演題番号 | 2E4-OS-09a-4 |
---|---|
題目 | 拡張融合法に基づく次世代SATソルバーの試作 |
著者 | 森 淳(Growth xPartners) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
時間 | 06月05日(Wed) 16:20〜16:40 |
概要 | 本稿では拡張融合法を用いたSATソルバーを提案する.拡張融合法とは,CDCLよりも高い推論能力を持った手法と知られているが,ソルバーに導入した場合には期待した効果はでていないのが現状である.拡張融合法は現在のCDCLソルバーのアルゴリズムにおいて,どのような動作が期待されるのかを検討しなおすことで,拡張融合法が期待通りに働くソルバー作りを提案する.また評価実験を行い,その成果を提示する. |
論文 | PDFファイル |