Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs

Contributions to the Theory of Games

Herman Rubin, H. W. Kuhn, A. W. Tucker · Econometrica · 1952 · 1.2K citations

Game Design, Non-cooperative Game Theory, Combinatorial Game +6

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · The Journal of Logic Programming · 1984 · 1K citations

Engineering, Automated Reasoning, Propositional Horn Formulae +10

On Finding the Maxima of a Set of Vectors

H. T. Kung, Fabrizio Luccio, F. P. Preparata · Journal of the ACM · 1975 · 908 citations · Full text

Reverse search for enumeration

David Avis, Komei Fukuda · Discrete Applied Mathematics · 1996 · 751 citations · Full text

String-searching Algorithm, Information Retrieval, Search Engine Indexing +2

The maximum numbers of faces of a convex polytope

Peter McMullen · Mathematika · 1970 · 576 citations

Mathematical Programming, Cyclic Polytope C, Discrete Geometry +12