Some implemented disjunctive planners

Graphplan

(Blum & Furst)

-- IPP

(Koehler et. al.)

-- STAN

(Fox et. al.)

--GP-EBL

(Kambhampati)

SATPLAN

(Kautz & Selman)

Blackbox

(Kautz & Selman)

Refinement Solution Extraction

Partially

2-consistent direct

refinement using

FSR

Direct search on

the disjunctive plan

(+ adaptation of CSP

techniques such as

DDB, EBL, DVO, FC

etc)

Naïve direct

refinement with FSR,

BSR, PSR

Compilation to SAT

Same as Graphplan

Compilation to SAT

Previous slide

Next slide

Back to first slide

View graphic version