Master Key Systems Calculation for Assa Abloy Belgium (Litto)
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F16%3A00309992" target="_blank" >RIV/68407700:21230/16:00309992 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Master Key Systems Calculation for Assa Abloy Belgium (Litto)
Popis výsledku v původním jazyce
We report on the status of the development of software for the combinatorial calculation of master-key systems. The involved strategies include heuristic search, reductions to the propositional satisfiabiity problem and the maximum independent set problem. The development was successful and the software was delivered to the customer for testing.
Název v anglickém jazyce
Master Key Systems Calculation for Assa Abloy Belgium (Litto)
Popis výsledku anglicky
We report on the status of the development of software for the combinatorial calculation of master-key systems. The involved strategies include heuristic search, reductions to the propositional satisfiabiity problem and the maximum independent set problem. The development was successful and the software was delivered to the customer for testing.
Klasifikace
Druh
V<sub>souhrn</sub> - Souhrnná výzkumná zpráva
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
N - Vyzkumna aktivita podporovana z neverejnych zdroju
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
C - Předmět řešení projektu podléhá obchodnímu tajemství (§ 504 Občanského zákoníku), ale název projektu, cíle projektu a u ukončeného nebo zastaveného projektu zhodnocení výsledku řešení projektu (údaje P03, P04, P15, P19, P29, PN8) dodané do CEP, jsou upraveny tak, aby byly zveřejnitelné.
Údaje specifické pro druh výsledku
Počet stran výsledku
10
Místo vydání
Praha
Název nakladatele resp. objednatele
ASSA ABLOY
Verze
—