Revision as of 19:43, 22 September 2005 edit Tizio (talk \| contribs) Extended confirmed users 13,768 edits link to conjunctive normal form ← Previous edit		Revision as of 21:52, 22 September 2005 edit undo McCart42 (talk \| contribs) Extended confirmed users 1,853 edits →See also: link to DPLL Next edit →
Line 12: ==See also== * [[DPLL]] * [[Martin Davis]] * [[Hilary Putnam]]

Davis–Putnam algorithm: Difference between revisions