On the Utility of Plan-Space (Causal) Encodings
Re-kindling old wars for the new era
Planning as Satisfiability
Checking correctness of a plan:The State-based approaches
Encodings based on state-based proofs
Checking correctness of a plan:The Causal Approach
Encodings based on Causal proofs
Can we improve causal encodings?
Replacing partial order with contiguity
Using white-knight based establishment
Comparing asymptotic sizes of state-based & causal encodings
Would Lifting help tilt the balance?
Is it curtains for causal encodings?
Utility of Causal Encodings in Incremental Planning/Plan Reuse
Flexible step insertion is harder for state-based encodings
Utility of Causal Encodings in HTN Planning
Home Page: http://rakaposhi.eas.asu.edu