Hledat
Zobrazují se záznamy 1-1 z 1
Třídy Booleovských formulí s efektivně řešitelným SATem.
Classes of Boolean Formulae with effectively soluable SAT.
Rigorózní práce (UZNÁNO)
Datum publikování: 2014
Datum obhajoby: 09. 04. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá třídami Booleovských formulí, pro které je problém splnitelnosti (SAT) řešitelný v polynomiálním čase. Zkoumá chování těchto tříd vzhledem k základním operacím s formulemi (komplementaci literálu, komplementaci ...
This work studies classes of Boolean formulae with polynomially solvable satsiability problem (SAT). It investigates the behavior of these classes with respect to basic operation with formulae (variable and literal ...
This work studies classes of Boolean formulae with polynomially solvable satsiability problem (SAT). It investigates the behavior of these classes with respect to basic operation with formulae (variable and literal ...