Richard Karp - Graph Theory and Propositional Logic (via searchlore.ai)