Hlavní stránka > Výsledky hledání: Kullmann, Oliver
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 1 záznamů.  Hledání trvalo 0.01 vteřin. 
Classes of Boolean Formulae with Effectively Solvable SAT
 Vlček, Václav ; Čepek, Ondřej (vedoucí práce) ; Kullmann, Oliver (oponent) ; Savický, Petr (oponent)
Práce studuje třídy booleovkských formulí pro které je problém splnitelnosti řešitelný v polynomiálním čase. Zaměřuje se na třídy založené jednotkové rezoluci; popisuje třídy unit refutation complete formulí, unit propagation complete formulí a specialně se zaměřuje na třídu SLUR. Shrnuje její vlastnosti a poslední výsledky dosažené v této oblasti. Hlavním výsledkem je coNP-úplnost testování zda daná formule patří do třídy SLUR. V závěru je třída SLUR rozvinuta do několika různých hierarchií a jsou studovány jejich vlastnosti a vzájemný vztah vzhledem k inkluzi. Powered by TCPDF (www.tcpdf.org)
Ú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