Casting planning as propositional satisfiability has been recently shown to be a very promising technique of plan synthesis. Some challenges, one of which is the development of hybrid propositional encodings (that combine the important notions from the existing encodings) have also been posed to the community [1]. The existing encodings [3] are either entirely based only on the plan space planning (also known as "causal" or "least commitment" or "partial order" planning) or only on the state space planning. To answer this challenge, we have developed several hybrid encodings.
展开▼