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-
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1050282812883843072
-
- NII Article ID
- 40020914109
-
- NII Book ID
- AN00116625
-
- ISSN
- 04478053
-
- NDL BIB ID
- 027555359
-
- Text Lang
- ja
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles