Revision as of 19:49, 4 July 2007 edit 83.8.72.46 (talk) pl ← Previous edit		Revision as of 14:49, 24 September 2007 edit undo Fuenfundachtzig (talk \| contribs) 86 edits m →References: corrected issue number Next edit →
Line 25: \| journal =[[Journal of the ACM]] \| volume = 7 \| issue = 13 \| pages = 201–215 \| date = 1960

Davis–Putnam algorithm: Difference between revisions