Revision as of 13:44, 6 September 2006 edit Jon Awbrey (talk \| contribs) 13,224 edits m moved Davis-Putnam algorithm to Davis–Putnam algorithm: ndash for polynominals ← Previous edit		Revision as of 00:43, 7 September 2006 edit undo Iannigb (talk \| contribs) 163 edits Added stub Next edit →
Line 9: The name ''Davis–Putnam algorithm'' or ''DP algorithm'' is sometimes incorrectly used to refer to the related but distinct [[DPLL algorithm]]. {{Comp-sci-stub}} ==References==

Davis–Putnam algorithm: Difference between revisions