Correction du partiel.
Montrer que 2-SAT peut se résoudre en temps polynomial. Exercice 12.3 (corrigé page ??). [Chevaliers de la table ronde] Etant donnés n chevaliers, et ...
Montrer que 2-SAT peut se résoudre en temps polynomial. Exercice 12.3 (corrigé page ??). [Chevaliers de la table ronde] Etant donnés n chevaliers, et ...