@techreport{3c1ff34ec43947308b15e3bb8425a622,
title = "Parallel encodings of classical planning as satisfiability",
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",
publisher = "Freiburg University",
number = "198",
address = "Germany",
type = "WorkingPaper",
institution = "Freiburg University",
}