Hybrid Propositional Encodings of Planning

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 de- velopment of hybrid propositional encodings (that com- bine the important notions from the existing encodings) have also been posed to the community. The existing encodings are either entirely based only on the plan space planning (also known as "causal" or "least com- mitment" or "partial order" planning) or only on the state space planning. To answer this challenge, we have developed several hybrid encodings.