Stephen A Cook
Cook [kuk], Stephen Arthur, född 1939, datalog, professor i Toronto sedan 1970, som 1971 formulerade och bevisade en central sats inom komplexitetsteorin: satisfierbarhetsproblemet är NP-fullständigt (Cooks sats).
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.