Revision as of 01:12, 27 February 2006 edit Fawcett5 (talk \| contribs) Administrators 19,540 edits Removing now uneeded "see alsos" ← Previous edit		Revision as of 01:14, 27 February 2006 edit undo Fawcett5 (talk \| contribs) Administrators 19,540 edits Bolding term that redirects here Next edit →
Line 8: ** remove all original clauses containing the variable or its negation The name ''"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