1962年にディヴィスとパトナムはジョージ・ロッジマンとドナルド・w・ラヴランドの協力を得てこのアルゴリズムをさらに精密にし、現在dpllアルゴリズムの名前で知られるものが完成した。