Revision as of 23:36, 25 April 2007 edit Stephan Schulz (talk \| contribs) Administrators 26,918 edits →References: cite'ed ← Previous edit		Revision as of 15:51, 16 May 2007 edit undo AlleborgoBot (talk \| contribs) 94,853 edits m robot Adding: it:Davis-Putnam (Algoritmo) Next edit →
Line 59: [[es:Algoritmo de Davis-Putnam]] [[fr:Algorithme de Davis-Putnam]] [[it:Davis-Putnam (Algoritmo)]]

Davis–Putnam algorithm: Difference between revisions