Proceedings of the twentieth annual ACM symposium on Theory of computing