Diskussion:Davis-Putnam-Verfahren

aus Wikipedia, der freien Enzyklopädie

Falsche verlinkung?

Der Englische Artikel über DPLL verweißt, wenn man auf Deutsch klickt, auf das Davis-Putnam-Verfahren. Ist dies nicht falsch? Steht ja selbst im Artikel drinne, dass das Davis-Putnam-Verfahren nicht das gleiche ist wie die weiterentwicklung DPLL. (nicht signierter Beitrag von 134.96.166.36 (Diskussion) 10:38, 6. Dez. 2010 (CET))