Proceedings of the twentieth annual ACM symposium on Theory of computing
ACM Digital Library