Revision as of 19:42, 21 May 2015 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →See also ← Previous edit		Revision as of 19:45, 21 May 2015 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits Undid own revision 663446391: DPLL was already mentioned in article Next edit →
Line 21: ==See also== [[Herbrandization]] [[Davis–Putnam–Logemann–Loveland algorithm]] — a 1962 improvement used for today's SAT solvers ==References==

Davis–Putnam algorithm: Difference between revisions