HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Davis-Putnam algorithm
← Back to search

Meaning of Davis-Putnam algorithm | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Davison Davison County Davisson Davistown Davisville Davit

Learn this word in context

See Davis-Putnam algorithm used in real conversations inside our free language course.

Start Free Course