CSAT, ou le problème de satisfiabilité de circuit, est un problème de calcul en informatique qui décide si un circuit booléen produira une sortie de TRUE compte tenu d'un ensemble d'entrées.

Informatique, Termes électroniques, Termes de programmation