Some implemented disjunctive planners

Graphplan (Blum/Furst)

IPP (Koehler)

STAN (Fox/Long)

GP-EBL (Kambhampati)

SATPLAN (Kautz/Selman)

Blackbox (Kautz/Selman)

GP-CSP

(Do/Kambhampati)

IPP Plan (Walser/Kautz)

BDDPlan (Hans-Peter)

PROPPlan (Stoerr)

Refinement Solution Extraction

Direct Partially

2-consistent

refinement with FSR

Direct search on

the disjunctive plan

Naïve direct

refinement with FSR,

BSR, PSR

Compilation to SAT

Same as Graphplan

Compilation to CSP

Same as Graphplan

Compilation to ILP

Naïve direct

refinement with FSR

Naïve direct

refinement with FSR

Compilation to BDDs

Previous slide

Next slide

Back to first slide

View graphic version