Two tractable subclasses of minimal unsatisfiable formulas

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

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

Computing, Computer Science, Mathematics +11

A linear-time algorithm for testing the truth of certain quantified boolean formulas

Bengt Aspvall, Michael F. Plass, Robert E. Tarjan · Information Processing Letters · 1979 · 901 citations

Computing, Computer Science, Mathematics +14

The complexity of facets (and some facets of complexity)

Christos H. Papadimitriou, Mihalis Yannakakis · Journal of Computer and System Sciences · 1984 · 314 citations

Computing, Computer Science, Mathematics +10

Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

John Franco, Marvin C. Paull · Discrete Applied Mathematics · 1983 · 231 citations

Computing, Computer Science, Mathematics +12

The complexity of facets resolved

Christos H. Papadimitriou, David Wolfe · Journal of Computer and System Sciences · 1988 · 207 citations · Full text

Computing, Computer Science, Algorithms +9