V článku se zabýváme prohledáváním, které provádí algoritmus GraphPlan. Soustřeďujeme se na problém hledání podpor pro podcíle, které se objevují během prohledávání.
Tento problém modelujeme jako problém splňování podmínek, v němž udržujeme hranovou konzistenci.