CSAT 또는 회로 만족 가능성 문제 는 부울 회로가 입력 집합이 주어지면 TRUE 출력을 산출 할지를 결정하는 컴퓨터 과학의 계산 문제입니다.

컴퓨터 과학, 전자 공학 용어, 프로그래밍 용어