Parallel Encodings of Classical Planning as Satisfiability

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    16 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogics in Artificial Intelligence
    Subtitle of host publication9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
    EditorsJosé Júlio Alferes, Joâo Leite
    Place of PublicationBerlin, Germany
    Pages307-319
    ISBN (Electronic)978-3-540-30227-8
    DOIs
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    Volume3229
    ISSN (Print)0302-9743

    Keywords

    • planning
    • propositional logic
    • satisfiability testing

    Cite this

    Rintanen, J., Niemelä, I., & Heljanko, K. (2004). Parallel Encodings of Classical Planning as Satisfiability. In J. J. Alferes, & J. Leite (Eds.), Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings (pp. 307-319). (Lecture Notes in Computer Science ; Vol. 3229). Berlin, Germany. https://doi.org/10.1007/978-3-540-30227-8_27