Revision as of 04:53, 18 December 2009 edit RjwilmsiBot (talk \| contribs) Bots, Pending changes reviewers 1,602,950 edits m →References: fixing page range dashes using Project:AWB ← Previous edit		Revision as of 20:06, 11 January 2010 edit undo Ary29 (talk \| contribs) Extended confirmed users, Pending changes reviewers 26,914 edits m it Next edit →
Line 73: [[es:Algoritmo de Davis-Putnam]] [[fr:Algorithme de Davis-Putnam]] [[it:Algoritmo di Davis-Putnam ~~(Algoritmo)~~]] [[pl:Procedura Davisa-Putnama]] [[pt:Algoritmo de Davis-Putnam]]

Davis–Putnam algorithm: Difference between revisions