bn:02092660n
Noun Concept
Categories: Algorithme, Logique
FR
algorithme de Davis-Putnam  Davis-Putnam  Méthode de Davis-Putnam  Procédure de David-Putnam
FR
En calcul propositionnel, l'algorithme de Davis-Putnam est une méthode de détermination de la satisfiabilité d'une formule en forme normale conjonctive, c'est-à-dire une conjonction de clauses. Wikipedia
Definitions
Relations
Sources