SCCI Digital Library and Forum

Reductions – example NP complete problem: Circuit SAT