Prohlížení Diplomové práce - 18105 dle předmětu "heuristika"

Zobrazují se záznamy 1-1 z 1

    • Volba parametrů řešiče SATu pomocí technik strojového učení 

      Autor: Filip Beskyd; Vedoucí práce: Surynek Pavel; Oponent práce: Kalvoda Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
      SAT řešiče jsou nezbytné nástroje pro mnohé oblasti počítačové vědy a průmyslu. Obsadily funkci univerzálního nástroje, který uživatelé používají k řešení problémů, jež by v opačném případě museli řešit ad-hoc, což by ...