CSAT, oftewel het probleem van de circuitvoldoening, is een computerprobleem in de informatica die beslist of een Booleaans circuit een uitvoer van TRUE oplevert, gegeven een reeks ingangen.
Computerwetenschappen, Elektronica-termen, Programmeervoorwaarden