Revision as of 09:52, 20 June 2007 edit Salgueiro~enwiki (talk \| contribs) 1,043 edits +pt ← Previous edit		Revision as of 19:49, 4 July 2007 edit undo 83.8.72.46 (talk) pl Next edit →
Line 64: [[fr:Algorithme de Davis-Putnam]] [[it:Davis-Putnam (Algoritmo)]] [[pl:Procedura Davisa-Putnama]] [[pt:Algoritmo de Davis-Putnam]]

Davis–Putnam algorithm: Difference between revisions