Bibliographic Information
- Other Title
-
- SAT技術の進化と応用 〜パズルからプログラム検証まで〜:1.SAT技術の進化
- SAT ギジュツ ノ シンカ
- SAT Evolution and Applications:1. SAT Evolution
Search this article
Abstract
近年,命題論理の充足可能性判定(SAT)問題を解くSATソルバーの性能が飛躍的に向上し,プログラム検証,プランニング,スケジューリング,制約充足問題などさまざまな分野への実用的応用が急速に拡大している.本稿では,SATソルバーに関する進化とSATに関係する計算問題の進化の2点について概観する.前者では,最近のSATソルバー競技会の結果も含め,SATソルバーの歴史的変化の過程について解説する.後者では,SATをルートとして,制約充足問題, SMT, MaxSATなどへの広がりについて述べる.
Journal
-
- 情報処理
-
情報処理 57 (8), 704-709, 2016-07-15
東京 : 情報処理学会 ; 1960-
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1050282812883840640
-
- NII Article ID
- 40020914068
-
- NII Book ID
- AN00116625
-
- ISSN
- 04478053
-
- NDL BIB ID
- 027555300
-
- Text Lang
- ja
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles