2-SAT

Propositions de mises en forme

Leçons où ce développement peut être utilisé

• 07 — Accessibilité et chemins dans un graphe. Applications.
• 31 — Classes P et NP. Problèmes NP-complets. Exemples.