Ce projet est réalisé dans le cadre du cours de deuxième année, d'algorithme avancé à l'université Paris-Saclay, en double licence mathématiques-informatique. L'objectif est de programmer des ...

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 ...