1. The complexity of theorem-proving procedures;Cook,1971
2. Worst-Case analysis of memory allocation algorithms;Garey,1972
3. Bounds on multiprocessing anomalies and related packing algorithms;Graham,1972
4. Fast allocation algorithms;Johnson,1972
5. Near-optimal bin packing algorithms;Johnson,1973