Revision as of 14:49, 24 September 2007 edit Fuenfundachtzig (talk \| contribs) 86 edits m →References: corrected issue number ← Previous edit		Revision as of 15:22, 27 November 2007 edit undo Pgr94 (talk \| contribs) Extended confirmed users 4,993 edits fixed category Next edit →
Line 56: }} [[Category:Boolean ~~Logical calculi~~algebra]] [[Category:Algorithms]] [[Category:Automated theorem proving]]

Davis–Putnam algorithm: Difference between revisions