Revision as of 15:42, 22 February 2008 edit Tizio (talk \| contribs) Extended confirmed users 13,768 edits m link equisatisfiability ← Previous edit		Revision as of 21:24, 13 April 2008 edit undo Andreas Kaufmann (talk \| contribs) Extended confirmed users, Pending changes reviewers 7,180 edits Category:Constraint satisfaction Next edit →
Line 59: [[Category:Boolean algebra]] [[Category:~~Algorithms~~Constraint satisfaction]] [[Category:Automated theorem proving]]

Davis–Putnam algorithm: Difference between revisions