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ファイル |