Conference proceedings of the thirteenth annual ACM Symposium on Theory of Computing papers presented at the symposium Milwaukee, Wisconsin, May 11 - 13, 1981 (ACM, 1981)