Revision as of 02:12, 7 September 2006 edit Michael Hardy (talk \| contribs) Administrators 210,595 edits mNo edit summary ← Previous edit	Revision as of 20:49, 19 October 2006 edit undo Stephan Schulz (talk \| contribs) Administrators 26,918 edits m moved Davis–Putnam algorithm to Davis-Putnam algorithm: Moved back to typable and expected name. See talk. Next edit →
(No difference)

Davis–Putnam algorithm: Difference between revisions