Algorithmic Meta-theorems

DOI10.1007/978-3-540-79723-4_3zbMath1142.68458OpenAlexW1781739513MaRDI QIDQ3503574

Stephan Kreutzer

Publication date: 5 June 2008

Published in: Parameterized and Exact Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79723-4_3

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Related Items (11)

A Retrospective on (Meta) Kernelization ⋮ On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ An approval-based model for single-step liquid democracy ⋮ Compact labelings for efficient first-order model-checking ⋮ Unnamed Item ⋮ Confronting intractability via parameters ⋮ First-Order Model-Checking in Random Graphs and Complex Networks ⋮ Parameterized shifted combinatorial optimization ⋮ Unnamed Item ⋮ On the width of regular classes of finite structures

This page was built for publication: Algorithmic Meta-theorems