書誌事項
- タイトル別名
-
- SATソルバーの最近の進展
- SAT ソルバー ノ サイキン ノ シンテン
- SAT Evolution and Applications:5. Recent Topics of SAT Solvers
この論文をさがす
抄録
命題論理の充足可能性判定(SAT)問題を解くソルバーは,矛盾からの節学習アルゴリズムによる性能向上を契機としてさまざまな分野で利用が進み,それとともにソルバーの技術開発も活発かつ継続的に行われている.本稿では,最新のSAT競技会における成果を軸に,最新の逐次型および並列型SATソルバーにおける技術を紹介する.
収録刊行物
-
- 情報処理
-
情報処理 57 (8), 724-729, 2016-07-15
東京 : 情報処理学会 ; 1960-
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050282812883843072
-
- NII論文ID
- 40020914109
-
- NII書誌ID
- AN00116625
-
- ISSN
- 04478053
-
- NDL書誌ID
- 027555359
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles