Boolean satisfiability problem
パトナムはコンピュータ・サイエンスの分野ではマーティン・ディヴィスと共に充足可能性問題(SAT)の解法を与えるデービス・パトナムのアルゴリズムを開発したことで知られる。このアルゴリズムは、任意のブール論理式の各変数について、式全体の値が真になるような真ないし偽の値の組み合わせが存在するかどうかを発見するものである。1962年にディヴィスとパトナムはジョージ・ロッジマンとドナルド・W・ラヴランドの協力を得てこのアルゴリズムをさらに精密にし、現在DPLLアルゴリズムの名前で知られるものが完成した。このアルゴリズムは効率的で、今日もなお最も完全なSATソルバー（充足可能性問題の解法）の基礎となっている。