CSAT, eller kredsløbets tilfredshedsproblem, er et beregningsmæssigt problem inden for datalogi, som afgør, om et boolsk kredsløb vil give en output af SAND givet et sæt indgange.

Computer Science, Elektroniske vilkår, Programmeringsbetingelser