SCCI Digital Library and Forum

NP Completeness: Circuit Satisfiability, Proof: Formula Satisfiability, 3-CNF, Clique (V-U)