Fixed-parameter tractability, definability, and model checking

Joerg Flum, Martin Grohe

In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized m…