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ů.