SATソルバーの最新動向と利用技術

DOI HANDLE Web Site オープンアクセス

書誌事項

タイトル別名
  • Recent Advances in SAT Solvers and their Utilization Technologies.
  • SAT ソルバー ノ サイシン ドウコウ ト リヨウ ギジュツ

この論文をさがす

抄録

<p>命題論理式の充足可能性判定(SAT)問題を解くプログラムであるSATソルバーは，2000年以降その性能面において飛躍的に進化した．それに伴い，解きたい問題をSAT符号化によりSAT問題へと変換し，SATソルバーを用いて解くSAT型システムが，プランニング，ソフトウェア・ハードウェア検証，スケジューリング問題など様々な分野で成功を収めるようになった．本稿では，まずSATソルバーの最新動向として，性能面と機能面における進化をその要因の1つであるSATソルバーの国際競技会の視点から説明を行う．次に SAT ソルバーの利用技術の視点から，SAT ソルバーの機能面の進化と符号化技術を組み合わせることで，複雑な問題を解くことが可能になることの説明を行う．そのような例として多目的最適化問題のパレート解をSATソルバーを利用して求める方法を説明する．</p>

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ