Browsing Diplomové práce - 18105 by Subject "heuristika"
Now showing items 1-1 of 1
-
Volba parametrů řešiče SATu pomocí technik strojového učení
; Supervisor: Surynek Pavel; Opponent: 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 ...