Overview

• Foundations of planning as satisfiability: Review

  • Encodings as proofs of disjunctive plans
  • State based vs. plan based (causal) proofs

• Exploring a spectrum of causal encodings

  • We can significantly improve the size of the (only) existing causal encoding scheme

• Asymptotic size comparison of State-based and causal-encodings

  • State-based encodings dominate causal encodings (asymptotically as well as empirically)
  • Lifting will not change the dominance

• Discussion of scenarios where causal encodings can help

Previous slide

Next slide

Back to first slide

View graphic version