The following pages link to Algorithmic Meta-theorems (Q3503574):
Displaying 11 items.
- On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry (Q306575) (← links)
- Confronting intractability via parameters (Q465686) (← links)
- Compact labelings for efficient first-order model-checking (Q626458) (← links)
- On the width of regular classes of finite structures (Q2305404) (← links)
- An approval-based model for single-step liquid democracy (Q2670941) (← links)
- (Q3386630) (← links)
- A Retrospective on (Meta) Kernelization (Q5042460) (← links)
- (Q5091010) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- First-Order Model-Checking in Random Graphs and Complex Networks (Q5874510) (← links)
- Parameterized shifted combinatorial optimization (Q5915595) (← links)
