Revision as of 17:21, 17 December 2009 edit 129.67.43.241 (talk) No edit summary ← Previous edit		Revision as of 04:53, 18 December 2009 edit undo RjwilmsiBot (talk \| contribs) Bots, Pending changes reviewers 1,602,950 edits m →References: fixing page range dashes using Project:AWB Next edit →
Line 58: \| conference = \| booktitle = Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference (KR'94) \| pages = ~~134-145~~134–145 \| publisher = Kaufmann \| url =

Davis–Putnam algorithm: Difference between revisions