Some classes of Boolean formulae with polynomial time satisfiability testing.

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F02%3A00003598" target="_blank" >RIV/00216208:11320/02:00003598 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Some classes of Boolean formulae with polynomial time satisfiability 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.
Název v anglickém jazyce
Some classes of Boolean formulae with polynomial time satisfiability 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.

Projekt
<a href="/cs/project/GA201%2F01%2F0942" target="_blank" >GA201/01/0942: Pokročilé plánování a rozvrhování</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2002
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ů

Název statě ve sborníku
Proceedings of RIMS conference on mathematical decision making under uncertainty
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
218-225
Název nakladatele
Kyoto University
Místo vydání
Kyoto, Japonsko
Místo konání akce
Kyoto, Japonsko
Datum konání akce
1. 1. 2002
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)