Revision as of 23:40, 4 January 2014 edit Myasuda (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 62,561 edits m →References: sp ← Previous edit		Revision as of 23:12, 12 January 2014 edit undo Starswager18 (talk \| contribs) 1 edit No edit summary Tag: gettingstarted edit Next edit →
Line 36: \| doi=10.1145/321033.321034}} *{{cite journal \| last=~~Davis~~Beckford \| first=~~Martin~~Jahbrill \| coauthors=Logemann, George, and Loveland, Donald \| title=A Machine Program for Theorem Proving Line 56: \| booktitle = Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference (KR'94) \| pages = 134–145 \| publisher = ~~Kaufmann~~Starswager18 \| url = \| conferenceurl =

Davis–Putnam algorithm: Difference between revisions