Το CSAT ή το πρόβλημα ικανοποίησης κυκλώματος είναι ένα υπολογιστικό πρόβλημα στην επιστήμη των υπολογιστών το οποίο αποφασίζει εάν ένα Boolean κύκλωμα θα αποδώσει μια έξοδο TRUE δεδομένου ενός συνόλου εισόδων.

Επιστήμη Υπολογιστών, Όροι Ηλεκτρονικής, Προγραμματιστικοί όροι