Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Classes of Boolean Formulae with Effectively Solvable SAT

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F10%3A10051502" target="_blank" >RIV/00216208:11320/10:10051502 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Classes of Boolean Formulae with Effectively Solvable SAT

  • Popis výsledku v původním jazyce

    We present an overview of known classes of Boolean formulae for which polynomial time algorithms for satisfiability testing (SAT) are known. We will summarize basic properties of these classes and their mutual relations with respect to inclusion. One ofthese classes on which we focus our attention in particular is the class of Single Lookahead Unit Resolution formulae (SLUR). We will define a hierarchy of classes which constitutes a generalization of the SLUR class, and prove its properties.

  • Název v anglickém jazyce

    Classes of Boolean Formulae with Effectively Solvable SAT

  • Popis výsledku anglicky

    We present an overview of known classes of Boolean formulae for which polynomial time algorithms for satisfiability testing (SAT) are known. We will summarize basic properties of these classes and their mutual relations with respect to inclusion. One ofthese classes on which we focus our attention in particular is the class of Single Lookahead Unit Resolution formulae (SLUR). We will define a hierarchy of classes which constitutes a generalization of the SLUR class, and prove its properties.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    IN - Informatika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2010

  • 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 statě ve sborníku

    WDS 2010 - Proceedings of Contributed Papers

  • ISBN

    978-80-7378-139-2

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    6

  • Strana od-do

  • Název nakladatele

    MATFYZPRESS

  • Místo vydání

    Praha

  • Místo konání akce

    Praha

  • Datum konání akce

    1. 6. 2010

  • Typ akce podle státní příslušnosti

    EUR - Evropská akce

  • Kód UT WoS článku