• Kombinatoriální řešiče v hlubokém zpětnovazebním učení 

      Autor: Richard Hájek; Vedoucí práce: Škoviera Radoslav; Oponent práce: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)
      Tato bakalárska práce měří účinost alternatiního modelování logických vztahů mezi daty v rámci zpětnovazebního učení. Pomocí SATNetu, který dokáže tyto vztahy aproximovat, bylo v bakalářské práci nalezeno, že agenti s SAT ...