Informace o publikaci

A New Perspective on FO Model Checking of Dense Graph Classes

Autoři

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

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