A New Perspective on FO Model Checking of Dense Graph Classes

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

GAJARSKÝ Jakub HLINĚNÝ Petr LOKSHTANOV Daniel OBDRŽÁLEK Jan RAMANUJAN M S

Rok publikování 2020
Druh Článek v odborném periodiku
Časopis / Zdroj ACM Transactions on Computational Logic
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://dx.doi.org/10.1145/3383206
Doi http://dx.doi.org/10.1145/3383206
Klíčová slova FO Logic; Model-Checking; Logic Interpretations; Sparse Graph Classes; Parameterized Complexity
Popis Podáváme strukturální charakteristiku a algoritmicky efektivní zpracování tříd grafů, které mají FO interpretaci v grafech omezených stupňů.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info