Proceedings of the forty-sixth annual ACM symposium on Theory of computing