List Homomorphisms and Circular Arc Graphs

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

The complexity of satisfiability problems

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

Computing, Computer Science, Algorithms +12

Representation of a finite graph by a set of intervals on the real line

C. Lekkeikerker, James Boland · Fundamenta Mathematicae · 1962 · 718 citations

Architecture, Architectural Representation, Graph Visualization +4

Decomposition by clique separators

Robert E. Tarjan · Discrete Mathematics · 1985 · 439 citations

Natural Sciences, Mathematics, Combinatorics +4

Star-cutsets and perfect graphs

Vašek Chvátal · Journal of Combinatorial Theory Series B · 1985 · 196 citations

Natural Sciences, Computer Science, Mathematics +9