Revision as of 11:51, 18 June 2007 edit Acipsen (talk \| contribs) 66 edits mNo edit summary ← Previous edit		Revision as of 09:52, 20 June 2007 edit undo Salgueiro~enwiki (talk \| contribs) 1,043 edits +pt Next edit →
Line 64: [[fr:Algorithme de Davis-Putnam]] [[it:Davis-Putnam (Algoritmo)]] [[pt:Algoritmo de Davis-Putnam]]

Davis–Putnam algorithm: Difference between revisions