Revision as of 15:51, 16 May 2007 edit AlleborgoBot (talk \| contribs) 94,853 edits m robot Adding: it:Davis-Putnam (Algoritmo) ← Previous edit		Revision as of 20:48, 29 May 2007 edit undo Freak42 (talk \| contribs) 39 edits m Added: See also : DPLL_algorithm Next edit →
Line 11: {{Comp-sci-stub}} ==See also== *[[DPLL_algorithm]] ==References==

Davis–Putnam algorithm: Difference between revisions