SMS versenden: Komparácia algoritmov prehľadávania stavového priestoru na konkrétnom príklade