Davis-Putnam algorithm

专有名词

英文释义

专有名词
  1. An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

词形变化

the Davis-Putnam algorithm canonical

词源

Developed by Martin Davis and Hilary Putnam.
0 次浏览 数据来源: Wiktionary