Algorithms and Complexity: New Directions and Recent Results: [Proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity Held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976]