Hlavní stránka > Výsledky hledání: Gaysin, Azza
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Proof Complexity of CSP
 Gaysin, Azza ; Krajíček, Jan (vedoucí práce) ; Kolokolova, Antonina (oponent) ; Kompatscher, Michael (oponent)
V této práce formalizujeme Zhukův polynomiální algoritmus rozhodující řešitelnost problémů splňování podmínek (CSPs), které nejsou NP-úplné, ve slabé teorii omezené aritmetiky W1 1 . Jako důsledek odvodíme, že tautologie odpovídající negativním instancím oněch CSP mají polynomiální důkazy v kvantifikovaném výrokovém počtu G. 1
Úplný záznam
Weighted Clones
 Gaysin, Azza ; Barto, Libor (vedoucí práce) ; Příhoda, Pavel (oponent)
Vážené klony Azza Gaysin 3. ledna 2018 Abstrakt V této práce kompletně popisujeme strukturu všech binárních částí vážených klonů nad booleovskými klony generovanými jednou z polosva- zových operací a jednou nebo dvěma konstantními operacemi. Rovněž po- skytujeme úplný popis všech atomických a maximálných vážených klonů nad těmito klony. Klíčová slova: Relační klony, Vážené klony, VCSP 1
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English