/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2013ホーム /

2E4-OS-09a-4 拡張融合法に基づく次世代SATソルバーの試作

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2013 このエントリーをはてなブックマークに追加

06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
2E4-OS-09a オーガナイズドセッション「OS-09 SAT技術の理論,実装,応用-1」

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