Metadata
Author: Literature
Data
English[en]
Cook found several NP-complete problems, including SAT, the Boolean satisfiability problem.
Spanish[es]
Cook encontrĂ³ varios problemas NP completos, incluido SAT, el problema de la satisfacibilidad booleana.