@techreport{fc8810010e65437889dc373ccb25b6aa,
title = "Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search",
keywords = "planning, propositional logic, satisfiability testing, planning, propositional logic, satisfiability testing, planning, propositional logic, satisfiability testing",
author = "Jussi Rintanen and Keijo Heljanko and Ilkka Niemel{\"a}",
year = "2004",
language = "English",
series = "Technical Reports of the Institute of Computer Science at Freiburg University",
publisher = "Albert-Ludwigs-Universit{\"a}t Freiburg",
number = "216",
address = "Germany",
type = "WorkingPaper",
institution = "Albert-Ludwigs-Universit{\"a}t Freiburg",
}