@article{83fc35158bfd461c91abc0dc72e0be77,
title = "Planning as satisfiability",
keywords = "Complexity, Planning, Satisfiability, Complexity, Planning, Satisfiability, Complexity, Planning, Satisfiability",
author = "Jussi Rintanen and Keijo Heljanko and Ilkka Niemel{\"a}",
year = "2006",
doi = "10.1016/j.artint.2006.08.002",
language = "English",
volume = "170",
pages = "1031--1080",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier Scientific Publ. Co",
number = "12-13",
}