Besonderhede van voorbeeld: 7367508258639740723

Metadata

Author: WikiMatrix

Data

English^[en]

Davis is the co-inventor of the Davis–Putnam algorithm and the DPLL algorithms.

Spanish^[es]

Es coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL.

History

Your action: