Besonderhede van voorbeeld: 8487101800448672243

English

The Cook–Levin theorem states that the Boolean satisfiability problem is NP-complete.

Spanish

El Teorema de Cook demuestra que el problema de satisfacibilidad booleana es un problema NP-completo.