Známé a nové třídy zobecněných Hornovských formulí s rozpoznáváním a SATem v polynomiálním čase
Popis výsledku
V tomto článku zkoumáme několik tříd Booleovských formulí, které zobecňují Hornovské formule a přitom mají také tu vlastnost, že je pro ně SAT testovatelný v polynomiálním čase. Známé třídy jsou porovnány vzhledem k inkluzi a dále je definována hierarchie nových tříd, která obsahuje některé ze známých tříd jako vlastní podmnožiny.
Klíčová slova
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Popis výsledku v původním jazyce
In this paper we study several classes of Boolean formulae which generalize Horn formulae while preserving one of their main properties, namely the fact that satisfiability is decidable in polynomial time. We compare the known classes with respect to inclusion and define a hierarchy of new classes, which properly contains some of the known classes.
Název v anglickém jazyce
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Popis výsledku anglicky
In this paper we study several classes of Boolean formulae which generalize Horn formulae while preserving one of their main properties, namely the fact that satisfiability is decidable in polynomial time. We compare the known classes with respect to inclusion and define a hierarchy of new classes, which properly contains some of the known classes.
Klasifikace
Druh
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
GA201/04/1102: Plánování a rozvrhování s omezujícími podmínkami
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2005
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ů
Údaje specifické pro druh výsledku
Název periodika
Discrete Applied Mathematics
ISSN
0166-218X
e-ISSN
—
Svazek periodika
149
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
39
Strana od-do
14-52
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—
Základní informace
Druh výsledku
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP
BA - Obecná matematika
Rok uplatnění
2005