Content deleted Content added
Silverfish (talk | contribs) m Stub-sorting. You can help! |
Note that DPLL and DP are related but distinct. |
||
Line 8:
** remove all original clauses containing the variable or its negation
The name ''Davis-Putnam algorithm'' or ''DP algorithm'' is sometimes incorrecty used to refer to the related but distinct [[DPLL algorithm]].
==See also==
| |||