1 paper · 1 filter
Jakub Gajarský, MichaÅ Pilipczuk, Marek SokoÅowski +2
It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, S…