Revision as of 13:37, 9 June 2011 edit Mo ainm (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 9,265 edits Disambiguated: recursive → recursion using Dab solver ← Previous edit		Revision as of 23:39, 12 June 2011 edit undo Citation bot 1 (talk \| contribs) Bots 130,044 edits m [Pu354]Misc citation tidying. 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~~79–90}} [[Category:Boolean algebra]]

Davis–Putnam algorithm: Difference between revisions