Planning as satisfiability: Parallel plans and algorithms for plan search

    Research output: Contribution to journalArticleScientificpeer-review

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

    Keywords

    • Complexity
    • Planning
    • Satisfiability

    Cite this