Karp's NP-completeness proof is a many-one reduction from the Boolean satisfiability problem.
Demonstrația de NP-completitudine a lui Karp este o reducere many-one de la problema satisfiabilității booleene.