Problème Sat

concept

problème de décision, qui détermine si une formule Booléenne est vrai.

Propriétés

Mots liés