
Also known as Davis-Putnam algorithm, Davis–Putnam procedure
algorithm for check the validity of a logic formula
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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).