Besonderhede van voorbeeld: -3520513720728192342

English

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

Spanish

En informática, Putnam es conocido por el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana (SAT), desarrollado con Martin Davis en 1960.