Prohlížení Diplomové práce - 13136 dle předmětu "Master-key system,mechanical keys,mechanical locks,boolean satisfiability programming,SAT"

Zobrazují se záznamy 1-1 z 1

    • 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, ...