Revision as of 12:57, 19 February 2006 edit Stephan Schulz (talk \| contribs) Administrators 26,918 edits →References: New category ← Previous edit		Revision as of 12:58, 19 February 2006 edit undo Stephan Schulz (talk \| contribs) Administrators 26,918 edits m →References: Typo Next edit →
Line 24: * 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. [[~~Catagory~~Category: Logical calculi]] [[de:Davis-Putnam-Verfahren]]

Davis–Putnam algorithm: Difference between revisions