Besonderhede van voorbeeld: -4580761926148142297

English

In computer science, Putnam is known for the Davis-Putnam algorithm for the Boolean satisfiability problem (SAT), developed with Martin Davis in 1960.

Dutch

In de computerwetenschap is Putnam bekend door zijn zogenaamde Davis–Putnam algoritme voor het Booleaanse vervulbaarheid probleem, die hij ontwikkelde samen met Martin Davis in 1960.