SATソルバーの最近の進展

IPSJ Web Site

Bibliographic Information

Other Title
  • SAT技術の進化と応用 〜パズルからプログラム検証まで〜：5. SATソルバーの最近の進展
  • SAT ソルバー ノ サイキン ノ シンテン
  • SAT Evolution and Applications：5. Recent Topics of SAT Solvers

Search this article

Abstract

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

Journal

  • 情報処理

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

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

Keywords

Details 詳細情報について

Report a problem

Back to top