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