O súťaži
Ceny
Termíny
Porota
Hodnotenie prác
Ambasádori
Fotogaléria
Ako sa prihlásiť
Partneri
Súťažiaci
Pre médiá
Aktuality
Na stiahnutie
Kontakt
Kontakt
sk
cs
en
Splniteľnosť DQBF použitím binárnych rozhodovacích diagramov
Autor práce
Juraj Síč
Masarykova univerzita v Brně, Fakulta informatiky
Vedúci práce
doc. RNDr. Jan Strejček, Ph.D.
O projekte
Leták
Diplomová práca
Ročník
2020
Zdieľať túto prácu