@inproceedings{
    RinHelNie:JELIA04,
    editor = "Alferes, Jos{\'e} J{\'u}lio and Leite, Jo{\~a}o Alexandre",
    author = {Rintanen, Jussi and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    publisher = "Springer-Verlag",
    isbn = "3-540-23242-7",
    title = "Parallel encodings of classical planning as satisfiability",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04)",
    year = "2004",
    corerank = "A",
    abstract = "We consider a number of semantics for plans with parallel operator application. The standard semantics used most often in earlier work requires that parallel operators are independent and can therefore be executed in any order. We consider a more relaxed definition of parallel plans, first proposed by Dimopoulos et al., as well as normal forms for parallel plans that require every operator to be executed as early as possible. We formalize the semantics of parallel plans emerging in this setting, and propose effective translations of these semantics into the propositional logic. And finally we show that one of the semantics yields an approach to classical planning that is sometimes much more efficient than the existing SAT-based planners.",
    month = "September",
    volume = "3229",
    juforank = "1",
    flags = "SA-53695",
    address = "Lisbon, Portugal",
    keywords = "planning, propositional logic, satisfiability testing",
    pages = "307--319"
}