充足可能性判定器の高速化に関する研究

2016 年度 研究成果報告書

• 研究課題/領域番号: 26330248
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 知能情報学
• 研究機関: 山梨大学
• 研究代表者: 鍋島 英知 山梨大学, 総合研究部, 准教授 (10334848)
• 研究期間 (年度): 2014-04-01 – 2017-03-31
• キーワード: 充足可能性判定問題 / SATソルバー

研究成果の概要

命題論理の充足可能性問題を解くSATソルバーは，困難な組み合わせ問題を解くための重要な基盤であり，システム検証やスケジューリングなどの様々な分野に応用されている．本研究では，SATソルバーの高速化を目的として，求解中に動的に問題を簡単化する手法や，頑健なヒューリスティクスの構築，並列解法などについて研究開発を行い，これらの手法を用いることで従来手法よりも高速に求解できることを実証した．

自由記述の分野

人工知能基礎