Direct compilation vs. compilation of refined disjunctive plans
Direct encodings correspond to translation of Direct Naïve refinements
- Non-progressive, have large number of minimal candidates compared to encodings based on refined disjunctive plans (such as Graphplan plan-graph)
- Enforcing consistency at SAT level is costly (lack of direction)
And yet, SATPLAN, that used direct SAT encodings did better than Graphplan, that worked with plangraph…
- Paradox? NOT.. It just shows that the solution extraction through SAT was better than through vanilla Graphplan backward search! [Kambhampati, IJCAI-97; Rintanen, KR-98]
- Blackbox [IJCAI-99] uses encodings based on planning graph