Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search

Reference:

Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Planning as satisfiability: Parallel plans and algorithms for plan search. Artificial Intelligence, 170(12–13):1031–1080, 2006.

Suggested BibTeX entry:

@article{RinHelNie2006:aij,
    author = {Jussi Rintanen and Keijo Heljanko and Ilkka Niemel{\"a}},
    journal = {Artificial Intelligence},
    number = {12--13},
    pages = {1031--1080},
    title = {Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search},
    volume = {170},
    year = {2006},
}