ACM Symposium on Theory of Computing