なお、古い文献ではdpllアルゴリズムのことをデービス・パトナムのアルゴリズムと呼ぶことがある。