SAT技術の進化と応用 〜パズルからプログラム検証まで〜：1．SAT技術の進化

• 番原, 睦則

• 鍋島, 英知

書誌事項

タイトル別名

• SAT技術の進化
• SAT ギジュツ ノ シンカ
• SAT Evolution and Applications：1. SAT Evolution

抄録

近年，命題論理の充足可能性判定（SAT）問題を解くSATソルバーの性能が飛躍的に向上し，プログラム検証，プランニング，スケジューリング，制約充足問題などさまざまな分野への実用的応用が急速に拡大している．本稿では，SATソルバーに関する進化とSATに関係する計算問題の進化の2点について概観する．前者では，最近のSATソルバー競技会の結果も含め，SATソルバーの歴史的変化の過程について解説する．後者では，SATをルートとして，制約充足問題, SMT, MaxSATなどへの広がりについて述べる．

収録刊行物

• 情報処理

  情報処理 57 (8), 704-709, 2016-07-15

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

キーワード

• 特集

詳細情報

• CRID: 1050282812883840640
• NII論文ID: 40020914068
• NII書誌ID: AN00116625
• ISSN: 04478053
• NDL書誌ID: 027555300
• Web Site: http://id.nii.ac.jp/1001/00169408/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I027555300
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles