Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search (2005)

@techreport{
    RinHelNie:TR216_ini,
    author = {Rintanen, Jussi and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    title = "Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search",
    url = "http://www.informatik.uni-freiburg.de/tr/",
    ignoremonth = "",
    number = "216",
    pages = "56",
    ignorekeywords = "",
    year = "2005",
    flags = "SA-53695 copy",
    type = "Technical Report",
    institution = "Institute of Computer Science, University of Freiburg",
    address = "Freiburg, Germany"
}

AUTHORS:

URL:
http://www.informatik.uni-freiburg.de/tr/

AUTHORS:

URL: http://www.informatik.uni-freiburg.de/tr/

URL:
http://www.informatik.uni-freiburg.de/tr/