O CSAT, ou problema de satisfatibilidade do circuito, é um problema computacional na ciência da computação que decide se um circuito booleano produzirá uma saída de TRUE dado um conjunto de entradas.
Ciência da Computação, Termos de Eletrônica, Termos de programação