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.