This page is for listing all techniques applied by the participants of the complexity competitions.

Be aware: the lists are still preliminary.

Derivational Complexity

next year or prev year

Method	2019	2018	2017	2016	2015
Arctic Interpretation
Match Bounds
Matrix Interpretation Triangular
Matrix Interpretation Non-Triangular
Modular (Relative) Complexity Analysis
Rewriting Right Hand Sides
Root Labeling
Weight Gap Principle

Runtime Complexity

next year or prev year

Method	2008
Arctic Interpretation	---
Match Bounds	TcT
Matrix Interpretation Triangular	TcT (N)
Matrix Interpretation Non-Triangular	---
Modular (Relative) Complexity Analysis	---
Polynomial Interpretations	---
Polynomial Path Orders	TcT
Rewriting Right Hand Sides	---
Root Labeling	---
Weak Dependency Pairs	TcT
Dependency Tuples	---
Path Analysis	TcT
Weight Gap Principle	TcT
DG Decomposition	---