Proceedings of the Annual Acm Symposium on Theory of Computing