Planning as satisfiability : Parallel plans and algorithms for plan search

• RINTANEN J.

収録刊行物

• Artif. Intell.

  Artif. Intell. 170 (12), 1031-1080, 2006

詳細情報

• CRID: 1574231876215363328
• NII論文ID: 80017899780
• データソース種別:
  • CiNii Articles