SATによるプランニングとスケジューリング(<特集>最近のSAT技術の発展)

• 鍋島 英知

  山梨大学大学院医学工学総合研究部

書誌事項

タイトル別名

• SAT Planning and SAT Scheduling(<Special Issue>Recent Advances in SAT Techniques)
• SATによるプランニングとスケジューリング
• SAT ニ ヨル プランニング ト スケジューリング

収録刊行物

• 人工知能

  人工知能 25 (1), 114-121, 2010-01-01

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

キーワード

• planning
• scheduling
• incremental SAT solving

詳細情報

• CRID: 1390285697603844224
• NII論文ID: 110007504959
• NII論文ID: 10026562878
• NII書誌ID: AN10067140
• ISSN: 09128085
• ISSN: 24358614
• ISSN: 21882266
• DOI: 10.11517/jjsai.25.1_114
• NDL書誌ID: 10547153
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10547153
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN