problème SAT

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

Aussi : SAT, Sat4j, probleme SAT

Nature : problème de satisfaction de contraintes, satisfaisabilité, problème de décision