Davis-Putnam algorithm

短语

词形变化

the Davis-Putnam algorithm

释义与例句

name
  1. 1.

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

    数学 哲学

词源

Developed by Martin Davis and Hilary Putnam.

来源：wiktionary