This text covers the state of the art in multivariate algorithmics and complexity, a vital field with countless applications in modern computing.
It describes the latest methods of proving parameterized tractability, including powerful lower-bound techniques.