New Generation Computing · 2020 · 51 citations · 8 references
ComputingComputer SciencePhysicsAlgorithmsCombinatoricsDiscrete MathematicsGraph AlgorithmsGraph TheoryProof ComplexityZero-knowledge ProofsDisjoint PathsDisjoint Paths ProblemZero-knowledge Proof ProtocolsZero-knowledge Proof Systems
8
On the Computational Complexity of Combinatorial Problems
Richard M. Karp · Networks · 1975 · 712 citations
The equivalence of theorem proving and the interconnection problem
James F. Lynch · ACM SIGDA Newsletter · 1975 · 152 citations