CSAT

CSAT, or the circuit satisfiability problem, is a computational problem in computer science which decides if a Boolean circuit will yield an output of TRUE given a set of inputs.

Computer Science, Electronics terms, Programming terms