Revision as of 19:24, 11 June 2009 edit 129.104.247.2 (talk) No edit summary ← Previous edit		Revision as of 01:39, 8 November 2009 edit undo Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits →References: Category:Metatheorems using AWB Next edit →
Line 68: [[Category:Constraint satisfaction]] [[Category:Automated theorem proving]] [[Category:Metatheorems]] {{formalmethods-stub}}

Davis–Putnam algorithm: Difference between revisions