398 | -- | 417 | William H. Joyner Jr.. Resolution Strategies as Decision Procedures |
418 | -- | 422 | Lena Chang, James F. Korsh. Canonical Coin Changing and Greedy Solutions |
423 | -- | 432 | Nicholas Pippenger, Leslie G. Valiant. Shifting Graphs and Their Applications |
433 | -- | 445 | Douglas C. Schmidt, Larry E. Druffel. A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance Matrices |
446 | -- | 450 | Peter J. Slater. R-Domination in Graphs |
451 | -- | 454 | William H. Burge. An Analysis of Binary Search Trees Formed from Sequences of Nondistinct Keys |
455 | -- | 460 | Jeff R. Cash. Semi-Implicit Runge-Kutta Procedures with Error Estimates for the Numerical Integration of Stiff Systems of Ordinary Differential Equations |
461 | -- | 467 | M. R. Garey, David S. Johnson. Scheduling Tasks with Nonuniform Deadlines on Two Processors |
468 | -- | 474 | Ta Huu Phuong. Solution of Integer Programs with a Quadratic Objective Function |
475 | -- | 487 | V. Srinivasan. Linear Programming Computational Procedures for Ordinal Regression |
488 | -- | 501 | Alfred V. Aho, Stephen C. Johnson. Optimal Code Generation for Expression Trees |
502 | -- | 510 | John L. Bruno, Ravi Sethi. Code Generation for a One-Register Machine |
511 | -- | 533 | M. Dennis Mickunas, Ronald L. Lancaster, Victor B. Schneider. Transforming LR(k) Grammars to LR(1), SLR(1), and (1, 1) Bounded Right-Context Grammars |
534 | -- | 543 | David E. Muller, Franco P. Preparata. Restructuring of Arithmetic Expressions For Parallel Evaluation |
544 | -- | 554 | Christos H. Papadimitriou. On the complexity of edge traversing |
555 | -- | 565 | Sartaj Sahni, Teofilo F. Gonzalez. P-Complete Approximation Problems |
566 | -- | 571 | Andrew Chi-Chih Yao, Foong Frances Yao. Lower Bounds on Merging Networks |
572 | -- | 0 | R. A. Cody, Edward G. Coffman Jr.. Errata: Record Allocation for Minimizing Expected Retrieval Costs on Drum-Like Storage Devices |