Proceedings of the eighteenth annual ACM symposium on Theory of computing