Boudjerida, Fatima; Habbas, Zineb; Promotrice
(Université de Béjaia, 2007)
La simplicité du formalisme de la logique propositionnelle a considérablement contribué aux succès courants de la résolution des problèmes SAT. D'une part, la simplicité du formalisme facilite l’implémentation de solveurs ...