SAT技術の進化と応用 〜パズルからプログラム検証まで〜:5. SATソルバーの最近の進展

書誌事項

タイトル別名
  • SATソルバーの最近の進展
  • SAT ソルバー ノ サイキン ノ シンテン
  • SAT Evolution and Applications:5. Recent Topics of SAT Solvers

この論文をさがす

抄録

命題論理の充足可能性判定(SAT)問題を解くソルバーは,矛盾からの節学習アルゴリズムによる性能向上を契機としてさまざまな分野で利用が進み,それとともにソルバーの技術開発も活発かつ継続的に行われている.本稿では,最新のSAT競技会における成果を軸に,最新の逐次型および並列型SATソルバーにおける技術を紹介する.

収録刊行物

  • 情報処理

    情報処理 57 (8), 724-729, 2016-07-15

    東京 : 情報処理学会 ; 1960-

キーワード

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

問題の指摘

ページトップへ