On Hierarchies over the SLUR Class
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10126646" target="_blank" >RIV/00216208:11320/12:10126646 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Boolean_Balyo_etal.pdf" target="_blank" >http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Boolean_Balyo_etal.pdf</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Hierarchies over the SLUR Class
Popis výsledku v původním jazyce
SLUR is a class of the CNF formulae on which the single lookahead unit resolution algorithm for satis?ability (SAT) testing never fails. It is known that the SLUR class contains classes of Horn, hidden Horn, (hidden) extended Horn and balanced formulae as a subclass. In recent paper it was proven that the SLUR class contains all canonical formulae. In this paper we will extend this result by showing it suf?ces that all prime implicates can be derived in one resolution step from input formula. We will also generalize previous hierarchy called SLUR(i) which is built on top of the SLUR class.
Název v anglickém jazyce
On Hierarchies over the SLUR Class
Popis výsledku anglicky
SLUR is a class of the CNF formulae on which the single lookahead unit resolution algorithm for satis?ability (SAT) testing never fails. It is known that the SLUR class contains classes of Horn, hidden Horn, (hidden) extended Horn and balanced formulae as a subclass. In recent paper it was proven that the SLUR class contains all canonical formulae. In this paper we will extend this result by showing it suf?ces that all prime implicates can be derived in one resolution step from input formula. We will also generalize previous hierarchy called SLUR(i) which is built on top of the SLUR class.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP202%2F10%2F1188" target="_blank" >GAP202/10/1188: KnowSched: Znalostní techniky v rozvrhování</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů