Revision as of 13:42, 6 September 2006 edit Jon Awbrey (talk \| contribs) 13,224 edits m ndash for polynominals ← Previous edit		Revision as of 13:44, 6 September 2006 edit undo Jon Awbrey (talk \| contribs) 13,224 edits m ditto, del xs quote marks Next edit →
Line 8: ** remove all original clauses containing the variable or its negation The name ~~"Davis-Putnam~~''Davis–Putnam algorithm"'' or "'''DP algorithm'''" is sometimes incorrectly used to refer to the related but distinct [[DPLL algorithm]]. ==References==

Davis–Putnam algorithm: Difference between revisions