Assertion: circuit's input | /r/HasProperty | integer circuit
Facets:
Source sentences:
text: If the input is an integer circuit, however, it is unknown whether this problem is decidable.