Revision as of 01:39, 8 November 2009 edit Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits →References: Category:Metatheorems using AWB ← Previous edit		Revision as of 14:13, 9 November 2009 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits →References: this is not a metatheorem in any clear way Next edit →
Line 68: [[Category:Constraint satisfaction]] [[Category:Automated theorem proving]] ~~[[Category:Metatheorems]]~~ {{formalmethods-stub}}

Davis–Putnam algorithm: Difference between revisions