Diskussion:Davis-Putnam-Verfahren

Falsche verlinkung?

Letzter Kommentar: vor 14 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) 10:38, 6. Dez. 2010 (CET)) Beantworten

Abschnitt hinzufügen