SAT型制約プログラミングシステムと周辺技術

• 宋 剛秀

  神戸大学情報基盤センター

• 番原 睦則

  神戸大学情報基盤センター

• 田村 直之

  神戸大学情報基盤センター

書誌事項

タイトル別名

• SAT-based Constraint Programming Systems and Related Technologies
• SATガタ セイヤク プログラミング システム ト シュウヘン ギジュツ

抄録

近年SATソルバーの求解性能が飛躍的に向上しており，様々な分野で応用が進んでいる．しかし，SATソルバーは連言標準形の命題論理式を入力としており，実用的な応用が多くある算術制約を含むような問題を直接記述して解くことには向いていない．このため，より表現力のある入力形式に対応できるようにSATソルバーを利用・拡張したシステムが研究されている．本解説では，そのような利用・拡張の1つとしてSATソルバーの求解性能と制約プログラミングシステムの表現力を融合させたSAT型制約プログラミングシステム(SAT型CPシステム)について説明し，その周辺技術についても概説する．

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 34 (1), 1_67-1_80, 2017

  日本ソフトウェア科学会

詳細情報

• CRID: 1390282679715004288
• NII論文ID: 40021086685
• NII論文ID: 130006855237
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.34.1_67
• NDL書誌ID: 027958819
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I027958819
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可