Revision as of 18:32, 9 April 2011 edit Tijfo098 (talk \| contribs) 16,966 edits that confusing, eh? ← Previous edit		Revision as of 17:37, 18 April 2011 edit undo Tijfo098 (talk \| contribs) 16,966 edits →References: good practical coverage of both DP and DPLL; could be used to clarify this article Next edit →
Line 36: \| url = http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=321034 \| doi=10.1145/321033.321034}} {{cite journal \| last=Davis Line 49 ⟶ 48: \| url=http://portal.acm.org/citation.cfm?doid=368273.368557 \| doi=10.1145/368273.368557}} {{cite conference \| author = R. Dechter Line 63 ⟶ 61: \| conferenceurl = }} * {{cite book\|author=John Harrison\|title=Handbook of practical logic and automated reasoning\|year=2009\|publisher=Cambridge University Press\|isbn=9780521899574\|pages=79-90}}</ref> [[Category:Boolean algebra]]

Davis–Putnam algorithm: Difference between revisions