Revision as of 17:37, 18 April 2011 edit Tijfo098 (talk \| contribs) 16,966 edits →References: good practical coverage of both DP and DPLL; could be used to clarify this article ← Previous edit		Revision as of 17:37, 18 April 2011 edit undo Tijfo098 (talk \| contribs) 16,966 edits m →References Next edit →
Line 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