Revision as of 10:36, 8 March 2015 edit Yobot (talk \| contribs) Bots 4,733,870 edits m Removed invisible unicode characters + other fixes using AWB (10850) ← Previous edit		Revision as of 17:34, 17 May 2015 edit undo Trappist the monk (talk \| contribs) Administrators 494,520 edits m →References: replace/remove deprecated cs1\|2 parameters; using AWB Next edit →
Line 37: *{{cite journal \| last=Beckford \| first=Jahbrill \|author2=Logemann, George \|author3=Loveland, Donald ~~\| coauthors=Logemann, George, and Loveland, Donald~~ \| title=A Machine Program for Theorem Proving \| journal =[[Communications of the ACM]]

Davis–Putnam algorithm: Difference between revisions