Direct vs. compiled solution extraction
Need to adapt CSP/SAT techniques
Can exploit approaches for compacting the plan
Can make the search incremental across iterations
Can exploit the latest advances in SAT/CSP solvers
Compilation stage can be time consuming, leads to memory blow-up
Makes it harder to exploit search from previous iteractions
Makes it easier to add declarative control knowledge