Concepedia

Signsolvability revisited

Victor Klee, Richard E. Ladner, Rachel Manber

Linear Algebra and its Applications · 1984 · 101 citations · 22 references

DOI

References

22

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

, , +17

Foundations of Economic Analysis.

George J. Stigler, Paul A. Samuelson · Journal of the American Statistical Association · 1948 · 4.2K citations

, , +11

An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite Graphs

John E. Hopcroft, Richard M. Karp · SIAM Journal on Computing · 1973 · 2.8K citations

, , +15

The complexity of satisfiability problems

Thomas J. Schaefer · 1978 · 1.8K citations · Full text

, , +12

Finding All the Elementary Circuits of a Directed Graph

D. Barton Johnson · SIAM Journal on Computing · 1975 · 828 citations

, , +13