Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing Chicago, Illinois, May 2-4, 1988 (Association for Computing Machinery, 1988)