A dolgozatban szó esik a (mell´ekelt programban is) haszn´alt keres˝o algoritmus tulajdons´agair´ol, illetve egy halad´o szint˝u Solver kifejleszt´es´ehez elegedhetetlen technik´akr´ol. Ut´obbiak egyr´eszt ´esszer˝u jav´ıt´asok, olyan v´ag´asok a keres´esi gr´afban, melyek jelent˝osen cs¨okkentik a kiterjesztett csom´opontok sz´am´at, m´asr´eszt olyan tr¨ukk¨ok, melyekkel a keres˝o motort a ,,megfelel˝o ir´anyba” terelj¨uk. Bemutat ´asra ker¨ulnek a lehets´eges ”ir´anymutat´ok” is, azaz a hat´ekony ´es kev´esb´e hat´ekony heurisztik´ak.