{"type":"ScholarlyArticle","title":"Fixed-Parameter Tractable Reductions to SAT for Planning","authors":[{"name":"Ronald de Haan","slug":"ronald-de-haan","given":"Ronald","family":"de Haan","affiliation":""},{"name":"Martin Kronegger","slug":"martin-kronegger","given":"Martin","family":"Kronegger","affiliation":""},{"name":"Andreas Pfandler","slug":"andreas-pfandler","given":"Andreas","family":"Pfandler","affiliation":""}],"abstract":"Planning is an important AI task that gives rise to many hard problems. In order to come up with efficient algorithms for this setting, it is important to understand the sources of complexity. For planning problems that are beyond NP, identifying fragments that allow an efficient reduction to SAT can be a feasible approach due to the great performance of modern SAT solvers. In this paper, we use the framework of parameterized complexity theory to obtain a more fine-grained complexity analysis of natural planning problems beyond NP. With this analysis we are able to point out several variants of planning where the structure in the input makes encodings into SAT feasible. We complement these positive results with some hardness results and a new machine characterization for the intractability class exists * for allk-W[P].","doi":null,"url":"https://ijcai.org/proceedings/2015/410","pdf":"https://ijcai.org/proceedings/2015/0410.pdf","markdown":"https://ijcai.org/proceedings/2015/410.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/410","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":410,"pages":{"first":2897,"last":2902},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}