algorithme de Davis-Putnam
concept
Aussi : Davis-Putnam, méthode de Davis-Putnam, procédure de David-Putnam, algorithme de davis-putnam, algorithme De Davis-Putnam
Nature : algorithme
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : algorithme nom commun, Davis nom propre