Assertion: circuit | /r/HasAspect | an assignment of its inputs
Facets:
Source sentences:
text: Planar Circuit SAT is the decision problem of determining whether this circuit has an assignment of its inputs that makes the output true.