Proceedings of the twelfth annual ACM symposium on Theory of computing