Browsing Diplomové práce - 13136 by Subject "Systém generálního klíče,mechanické klíče,mechanické zámky,splnitelnost logických formulí,SAT"
Now showing items 1-1 of 1
-
Analýza výkonu řešiče systému generálního klíče a hlavních klíčů
; Supervisor: Černoch Radomír; Opponent: 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, ...