CSAT, alebo problém uspokojivosti obvodu, je výpočtový problém v informatike, ktorý rozhodne, či booleovský obvod prinesie výstup TRUE daný súborom vstupov.

Informatika, Elektronické termíny, Programovacie termíny