El esquema de Davis y de Putnam (DP en consecuencia, el algoritmo de D&P disenado de acuerdo con el problema general SAT corre casi tan rapido (en terminos de complejidad) como los algoritmos especializados, disenados para trabajar exclusivamente con una subclase SAT especifica. El algoritmo se ha puesto en ejecucion y se ha comparado con solvers muy conocidos para varias subclases de instancias SAT.
