Proceedings of the thirty-first annual ACM symposium on Theory of Computing