Diskussion:Davis-Putnam-Verfahren

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 13 Jahren von 134.96.166.36 in Abschnitt Falsche verlinkung?
Zur Navigation springen Zur Suche springen

Falsche verlinkung?[Quelltext bearbeiten]

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

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Davis-Putnam-Verfahren&oldid=82331779“