The effectiveness of lloyd-type methods for the k-means problem.
Graph expansion and communication costs of fast matrix multiplication.
An invariance principle for polytopes.
Theories, solvers and static analysis by abstract interpretation.
The dichotomy of probabilistic inference for unions of conjunctive queries.