Dynamická prezentácia vybraných algoritmov prehľadávania stavového priestoru diplomová práca - Jurigová, Lucia (2015)