Revision as of 20:53, 19 October 2006 edit Stephan Schulz (talk \| contribs) Administrators 26,918 edits Templatified DP papers ← Previous edit		Revision as of 19:29, 11 December 2006 edit undo Tizio (talk \| contribs) Extended confirmed users 13,768 edits m cat Next edit →
Line 42: [[Category: Logical calculi]] [[Category:Algorithms]] [[Category:Automated theorem proving]] [[de:Davis-Putnam-Verfahren]]

Davis–Putnam algorithm: Difference between revisions