Revision as of 17:01, 2 April 2007 edit Botx (talk \| contribs) 496 edits m robot Adding: es:Algoritmo de Davis-Putnam ← Previous edit		Revision as of 23:36, 25 April 2007 edit undo Stephan Schulz (talk \| contribs) Administrators 26,918 edits →References: cite'ed Next edit →
Line 38: \| url=http://portal.acm.org/citation.cfm?doid=368273.368557}} * {{cite conference * R. Dechter and I. Rish. Directional resolution: The Davis-Putnam procedure, revisited. In ''Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94)'', pages 134–145, 1994. \| author = R. Dechter \| coauthors = I. Rish \| editor = J. Doyle and E. Sandewall and P. Torasso \| year = \| title = Directional Resolution: The Davis-Putnam Procedure, Revisited \| conference = \| booktitle = Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference (KR'94) \| pages = 134-145 \| publisher = Kaufmann \| url = \| conferenceurl = }} [[Category: Logical calculi]]

Davis–Putnam algorithm: Difference between revisions