Metadata
Author: WikiMatrix
Data
English[en]
The DPLL algorithm enhances over the backtracking algorithm by the eager use of the following rules at each step: Unit propagation If a clause is a unit clause, i.e. it contains only a single unassigned literal, this clause can only be satisfied by assigning the necessary value to make this literal true.
Spanish[es]
El algoritmo DPLL mejora sobre el algoritmo de vuelta atrás (backtracking) por el uso eficaz de las siguientes reglas: Unidad de propagación Si una cláusula es una cláusula unitaria, es decir, sólo contiene un solo literal sin asignar, esta cláusula sólo puede ser satisfacible mediante la asignación del valor necesario para hacer verdadero al literal.