Zabýváme se procesem řešení obtížných problémů z umělé inteligence jako jsou plánování a booleovská splnitelnost. Navrhujeme metodu na rozkrytí struktury problémů.