制約最適化問題とSAT符号化(<特集>最近のSAT技術の発展)

• 田村 直之

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

• 丹生 智也

  神戸大学大学院工学研究科

• 番原 睦則

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

書誌事項

タイトル別名

• Constraint Optimization Problems and SAT Encodings(<Special Issue>Recent Advances in SAT Techniques)
• 制約最適化問題とSAT符号化
• セイヤク サイテキカ モンダイ ト SAT フゴウカ

収録刊行物

• 人工知能

  人工知能 25 (1), 77-85, 2010-01-01

  一般社団法人 人工知能学会

キーワード

• SAT encoding
• constraint optimization problems
• constraint satisfaction problems

詳細情報

• CRID: 1390285697603912960
• NII論文ID: 110007504955
• NII書誌ID: AN10067140
• ISSN: 09128085
• ISSN: 24358614
• ISSN: 21882266
• DOI: 10.11517/jjsai.25.1_77
• NDL書誌ID: 10547084
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10547084
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles