Diskussion:Davis-Putnam-Verfahren

Falsche verlinkung?

Letzter Kommentar: vor 13 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

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) Diskussion:Davis-Putnam-Verfahren#c-134.96.166.36-2010-12-06T09:38:00.000Z-Falsche verlinkung?11) Beantworten