Maritn Certicky Aplikácia metód Umelej inteligencie pri vytváraní agenta hrajúceho strategické hry v reálnom čase
Novák Antonín Metody efektivního prohledávání stavového prostoru v rozvrhování zdravotních sester s využitím branch-and-price přístupu
Cincibus Petr Algoritmy pro rozvrhování úloh s různými stupni kritičnosti a relativními časovými omezeními
