Revision as of 21:47, 24 December 2013 edit DemocraticLuntz (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 228,295 edits Reverted 1 good faith edit by 197.206.150.100 using STiki ← Previous edit		Revision as of 23:40, 4 January 2014 edit undo Myasuda (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 62,554 edits m →References: sp Next edit →
Line 26: \|last=Davis \|first=Martin \| coauthors= Putnam, ~~Hillary~~Hilary \| title=A Computing Procedure for Quantification Theory \| journal =[[Journal of the ACM]]

Davis–Putnam algorithm: Difference between revisions