A method for urban air mobility network design using hub location and subgraph isomorphism

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Greedy Randomized Adaptive Search Procedures

Thomas A. Feo, Maurício G. C. Resende · Journal of Global Optimization · 1995 · 2.7K citations

Computing, Computer Science, Mathematics +10

An Algorithm for Subgraph Isomorphism

J. R. Ullmann · Journal of the ACM · 1976 · 2.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

Complexity and approximation: Combinatorial optimization problems and their approximability properties

Computers & Mathematics with Applications · 2000 · 1.3K citations

Computing, Computer Science, Mathematics +13

A quadratic integer program for the location of interacting hub facilities

Morton E. O’Kelly · European Journal of Operational Research · 1987 · 950 citations

Management, Industrial Engineering, Operations Management +14