Revision as of 04:20, 13 January 2006 edit Gdm (talk \| contribs) Extended confirmed users 684 edits m propositional logic, +de ← Previous edit		Revision as of 12:57, 19 February 2006 edit undo Stephan Schulz (talk \| contribs) Administrators 26,918 edits →References: New category 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: Logical calculi]] ~~{{Mathlogic-stub}}~~ [[de:Davis-Putnam-Verfahren]]

Davis–Putnam algorithm: Difference between revisions