Revision as of 02:40, 15 January 2010 edit 71.41.210.146 (talk) Took formulas out of <math> to work around remdering oncinsitency with \phi; see [https://bugzilla.wikimedia.org/show_bug.cgi?id=1347 Mediawiki bug #1347] ← Previous edit		Revision as of 06:50, 8 April 2010 edit undo Luckas-bot (talk \| contribs) 929,662 edits m robot Adding: ja:デービス・パトナムのアルゴリズム Next edit →
Line 74: [[fr:Algorithme de Davis-Putnam]] [[it:Algoritmo di Davis-Putnam]] [[ja:デービス・パトナムのアルゴリズム]] [[pl:Procedura Davisa-Putnama]] [[pt:Algoritmo de Davis-Putnam]]

Davis–Putnam algorithm: Difference between revisions