A New Perspective on FO Model Checking of Dense Graph Classes

Logo poskytovatele

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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í 2016
Druh Článek ve sborníku
Konference Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://lics.rwth-aachen.de/lics16/
Doi http://dx.doi.org/10.1145/2933575.2935314
Obor Informatika
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