Assertion: boolean circuit | /r/HasAspect | an assignment of its inputs
Facets:
Source sentences:
text: In theoretical computer science, the Circuit Satisfiability Problem (also known as CIRCUIT-SAT, CircuitSAT, CSAT, etc.) is the decision problem of determining whether a given Boolean circuit has an assignment of its inputs that makes the output true.