A la fin des années 90, Brin et Page ont conçu l’algorithme PageRank utilisé par le moteur de recherche Google pour trier les réponses d’une requête par ordre d’importance décroissante. Le but du TP ...

Les tests montrent que l'algorithme DPLL est significativement plus performant que l'algorithme DP, à la fois en termes de temps d'exécution et de nombre d'appels récursifs : Ratio temps DPLL/DP: 0.06 ...