ＣＳＡＴ 、すなわち回路充足可能性問題は、コンピュータ科学における計算上の問題であり、一組の入力に対してブール回路が真の出力をもたらすかどうかを決定する。

コンピュータサイエンス、エレクトロニクス用語、プログラミング用語