[LO5] 7.2.3. Correction et complétude de la recherche de modèle par simplification
Channel: Sylvain Schmitz
Date: 05/10/2020

La recherche par simplification est correcte (si l'algorithme dit qu'un ensemble de clauses est satisfiable, alors c'est bien le cas) et complète (si un ensemble de clauses est satisfiable, alors l'algorithme répond bien que l'ensemble est satisfiable).