Contributions `a la résolution du probl`eme de la Satisfiabilité ...

pouvez allez sur le manuel (pages 366/367) pour voir un exercice corrigé dans le détail. Vous pouvez aussi voir cette vidéo d'Yvan Monka :.