Te algorytmy pokozały sie niywystykajōnce do rozwiōnzowanio srogich problymōw rozumowanio, bo doświadczały "kōmbinatorycznyj eksplozyje": stowały sie wykładniczo wolniyjsze, kej problymy rosły.