Metadata
Author: ParaCrawl Corpus
Data
English[en]
In computer science, Putnam is known for the Davis-Putnam algorithm for the Boolean satisfiability problem (SAT), developed with Martin Davis in 1960.
Spanish[es]
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.