Revision as of 11:09, 15 September 2006 edit Tizio (talk \| contribs) Extended confirmed users 13,768 edits ok ← Previous edit	Revision as of 20:49, 19 October 2006 edit undo Stephan Schulz (talk \| contribs) Administrators 26,918 edits m moved Talk:Davis–Putnam algorithm to Talk:Davis-Putnam algorithm: Moved back to typable and expected name. See talk. Next edit →
(No difference)

Talk:Davis–Putnam algorithm: Difference between revisions