Desarrolló, junto con Martin Davis, el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana, y ayudó a demostrar la irresolubilidad del décimo problema de Hilbert.