A New Perspective on FO Model Checking of Dense Graph Classes

Varování

Publikace nespadá pod Pedagogickou fakultu, 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:	Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V. Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity