Zpět na hledáníAn exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams (2008)výskyt výsledku
Identifikační kód | RIV/67985840:_____/08:00098856 |
---|---|
Název v anglickém jazyce | An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams |
Druh | J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
Poddruh | - |
Jazyk | eng - angličtina |
Obor - skupina | B - Fyzika a matematika |
Obor | BA - Obecná matematika |
Rok uplatnění | 2008 |
Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
Počet výskytů výsledku | 2 |
Počet tvůrců celkem | 1 |
Počet domácích tvůrců | 1 |
Výčet všech uvedených jednotlivých tvůrců | Jan Krajíček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9626913) |
Popis výsledku v anglickém jazyce | We prove a lower bound for the OBDD proof system |
Klíčová slova oddělená středníkem | OBDD; feasible interpolation |
Stránka www, na které se nachází výsledek | - |
Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
Název periodika | Journal of Symbolic Logic |
---|---|
ISSN | 0022-4812 |
e-ISSN | - |
Svazek periodika | 73 |
Číslo periodika v rámci uvedeného svazku | 1 |
Stát vydavatele periodika | US - Spojené státy americké |
Počet stran výsledku | 11 |
Strana od-do | 227-237 |
Kód UT WoS článku podle Web of Science | - |
EID výsledku v databázi Scopus | - |
Způsob publikování výsledku | - |
Předpokládaný termín zveřejnění plného textu výsledku | - |
Ostatní informace o výsledku
Předkladatel | Matematický ústav AV ČR, v. v. i. |
---|---|
Dodavatel | AV0 - Akademie věd České republiky (AV ČR ) |
Rok sběru | 2008 |
Specifikace | RIV/67985840:_____/08:00098856!RIV08-AV0-67985840 |
Datum poslední aktualizace výsledku | 09.02.2009 |
Kontrolní číslo | 11093795 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
Dodáno GA ČR v roce 2008 | RIV/67985840:_____/08:00098856 v dodávce dat RIV08-GA0-67985840/01:1 |
---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
Projekt podporovaný AV ČR v programu IA | IAA1019401 - Teorie, důkazy a výpočetní složitost (2004 - 2008) |
---|---|
Výzkumný záměr podporovaný AV ČR | AV0Z10190503 - Rozvoj a prohloubení obecných matematických poznatků a jejich užití v dalších vědních oborech a v praxi (2005 - 2010) |