Revision as of 19:12, 20 July 2020 edit Galebazz (talk \| contribs) Extended confirmed users 6,642 edits Undid revision 968664324 by Johnaearley86 (talk): Identified as test/vandalism using m:WikiLoop DoubleCheck version 4.1.0. See it or provide your opinion at http://doublecheck.wikiloop.org/revision/enwiki/968664324 Tag: Undo ← Previous edit		Revision as of 13:42, 6 December 2020 edit undo Monkbot (talk \| contribs) Bots 3,695,952 edits m Task 18 (cosmetic): eval 4 templates: del empty params (3×); hyphenate params (1×); Tag: AWB Next edit →
Line 58: \| editor = J. Doyle and E. Sandewall and P. Torasso \| title = Directional Resolution: The Davis–Putnam Procedure, Revisited \| ~~booktitle~~book-title = Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference (KR'94)▼ ~~\| conference =~~ ▲ \| booktitle = Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference (KR'94) \| pages = 134–145 \| publisher = Kaufmann ~~\| url =~~ ~~\| conferenceurl =~~ }} * {{cite book\|author=John Harrison\|title=Handbook of practical logic and automated reasoning\|url=https://archive.org/details/handbookpractica00harr\|url-access=limited\|year=2009\|publisher=Cambridge University Press\|isbn=978-0-521-89957-4\|pages=[https://archive.org/details/handbookpractica00harr/page/n100 79]–90}}

Davis–Putnam algorithm: Difference between revisions