Blackbox

Kapcsolódó fogalmak: 
3-SAT, 3-CNF
Kapcsolódó fogalmak: 
SATPlan
Kapcsolódó fogalmak: 
Graphplan
Kapcsolódó fogalmak: 
WalkSAT
Rövid szöveges bemutatás: 
SAT megoldóval nyeri ki a tervet a CNF kifejezésből, melyre a tervkészítési gráfot lefordítja. A SATPLAN algoritmusnál hatékonyabb volt, valószínűleg azért mert a tervkészítési gráf már rendelkezésre állt, és már megszűrte a tervet a lehetetlen cselekvésektől és állapotoktól. A GRAPHPLAN algoritmusnál is hatékonyabb volt, valószínűleg mert nagyobb rugalmasságú volt.