Planning as satisfiability: Parallel plans and algorithms for plan search

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

  • NICTA

Details

Original languageEnglish
Pages (from-to)1031-1080
JournalArtificial Intelligence
Volume170
Issue number12-13
Publication statusPublished - 2006
MoE publication typeA1 Journal article-refereed

    Research areas

  • Complexity, Planning, Satisfiability

ID: 3551098