Algorithmic Dense Model Theorems, Decompositions, and Regularity Theorems - Russell Impagliazzo