Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
2017
This paper settles the computational complexity of model checking of several extensions of the monadic second order (MSO) logic on two classes of graphs: graphs of bounded treewidth and graphs of bounded neighborhood diversity.
Keywords:
- Correction
- Cite
- Save
- Machine Reading By IdeaReader
14
References
0
Citations
NaN
KQI