Parallel Encodings of Classical Planning as Satisfiability

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

    17 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
    ISBN (Electronic)978-3-540-30227-8
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Publication series

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


    • planning
    • propositional logic
    • satisfiability testing

    Cite this