Developing manufacturing control software: A survey and critique

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

The Complexity of Flowshop and Jobshop Scheduling

M. R. Garey, David Johnson, Ravi Sethi · Mathematics of Operations Research · 1976 · 2.6K citations

Computing, Computer Science, Algorithms +12

Managing the Development of Large Software Systems (1970)

W. W. Royce · The MIT Press eBooks · 2021 · 1.7K citations

Computing, Project Management, Systems Engineering +11

Managing the development of large software systems: concepts and techniques

W. W. Royce · International Conference on Software Engineering · 1987 · 1.2K citations

Computing, Computer Science, Project Management +12

Planning in a hierarchy of abstraction spaces

Earl D. Sacerdoti · Artificial Intelligence · 1974 · 1.2K citations

Engineering, Systems Engineering, Knowledge Representation +10