Planning as satisfiability: Parallel plans and algorithms for plan search

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    144 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut1031-1080
    JulkaisuArtificial Intelligence
    Vuosikerta170
    Numero12-13
    DOI - pysyväislinkit
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • Complexity
    • Planning
    • Satisfiability

    Siteeraa tätä