Revision as of 12:04, 24 September 2005 edit Tizio (talk \| contribs) Extended confirmed users 13,768 edits m new name for merged DPLL article →See also ← Previous edit		Revision as of 12:11, 24 September 2005 edit undo Tizio (talk \| contribs) Extended confirmed users 13,768 edits m article name after merge Next edit →
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 [[~~Davis-Logemann-Loveland~~DPLL algorithm]]. ==See also==

Davis–Putnam algorithm: Difference between revisions