Revision as of 21:21, 18 December 2013 edit Omg panda bear (talk \| contribs) 12 edits m reworded some sentences Tag: gettingstarted edit ← Previous edit		Revision as of 19:49, 24 December 2013 edit undo 197.206.150.100 (talk) →References Next edit →
Line 51: \| coauthors = I. Rish \| editor = J. Doyle and E. Sandewall and P. Torasso \| year = hjjkjk;lllnll,kllh \| title = Directional Resolution: The Davis–Putnam Procedure, Revisited \| conference =

Davis–Putnam algorithm: Difference between revisions