Parallel Encodings of Classical Planning as Satisfiability

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    16 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoLogics in Artificial Intelligence
    Alaotsikko9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
    ToimittajatJosé Júlio Alferes, Joâo Leite
    JulkaisupaikkaBerlin, Germany
    Sivut307-319
    ISBN (elektroninen)978-3-540-30227-8
    DOI - pysyväislinkit
    TilaJulkaistu - 2004
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    NimiLecture Notes in Computer Science
    KustantajaSpringer Berlin Heidelberg
    Vuosikerta3229
    ISSN (painettu)0302-9743

    Tutkimusalat

    • planning
    • propositional logic
    • satisfiability testing

    Siteeraa tätä