Enzyklopädie > D > Davis-Putnam-Verfahren
Davis-Putnam-Verfahren
Das Davis-Putnam-Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in Konjunktiver Normalform.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)