@inproceedings{2305fa52569343338cefc88a18d9d59f,
title = "Planning graphs and propositional clause-learning",
abstract = "The planning graph of Blum and Furst is one of the frequently used tools in planning. It is a data structure which can be visualized as a bipartite graph with state variables and actions as nodes and which approximates (upper bound) the set of reachable states with a given number of sets of simultaneous actions. We show that the contents of planning graphs follow from two more general notions: extended clause learning restricted to 2-literal clauses and the representation of parallel plans consisting of STRIPS actions in the classical propositional logic. This is the first time planning graphs have been given an explanation in terms of the inference methods used in SAT solvers. The work helps in bridging the gap between specialized algorithms devised for planning and general-purpose algorithms for automated reasoning.",
author = "Jussi Rintanen",
year = "2008",
language = "English",
isbn = "9781577353843",
series = "Proceedings of the International Conference on Knowledge Representation and Reasoning",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "535--543",
booktitle = "Principles of Knowledge Representation and Reasoning",
address = "United States",
note = "11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 ; Conference date: 16-09-2008 Through 19-09-2008",
}