戴维斯–普特南算法
Also known as Davis-Putnam algorithm, Davis–Putnam procedure
algorithm for check the validity of a logic formula
Also known as Davis-Putnam algorithm, Davis–Putnam procedure
algorithm for check the validity of a logic formula
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).