Revision as of 19:29, 11 December 2006 edit Tizio (talk \| contribs) Extended confirmed users 13,768 edits m cat ← Previous edit		Revision as of 21:59, 24 February 2007 edit undo Liquid-aim-bot (talk \| contribs) 1,865 edits m robot Adding: fr:Algorithme de Davis-Putnam Next edit →
Line 45: [[de:Davis-Putnam-Verfahren]] [[fr:Algorithme de Davis-Putnam]]

Davis–Putnam algorithm: Difference between revisions