Proceedings of the second annual ACM symposium on Theory of computing