Assertion: circuit's input | /r/HasProperty | processed by different circuits
Facets:
Source sentences:
text: Boolean circuits are one of the prime examples of so-called non-uniform models of computation in the sense that inputs of different lengths are processed by different circuits, in contrast with uniform models such as Turing machines where the same computational device is used for all possible input lengths.