Davis-Putnam-Verfahren

Also known as Davis-Putnam algorithm, Davis–Putnam procedure

algorithm for check the validity of a logic formula

Wikidata facts

Instance of: algorithm
Named after: Hilary Putnam

Show 1 more fact

computes solution to: boolean satisfiability problem

Sources (1)

wikidata.org

via Wikidata · CC0

Article · Deutsch

Das Davis-Putnam-Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem (Davis-Putnam-Logemann-Loveland)-Algorithmus, verwechselt werden.

Abstract from DBpedia / Wikipedia · CC BY-SA