Prohlížení Diplomové práce - 13136 dle autora "Vyskočil Jiří"
-
Analýza výkonu řešiče systému generálního klíče a hlavních klíčů
Autor: Hořeňovský Martin; Vedoucí práce: Černoch Radomír; Oponent práce: Vyskočil Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-09)Tato práce popisuje existující řešič systémů generálního klíče vyvinutý na katedře počítačů, FEL, ČVUT, který je založený na problému SAT. Práce poskytuje přehled, jak se systém generálního klíče převádí na problém SAT, ...