Assertion: circuit's function | /r/HasProperty | constructed for the purpose
Facets:
value: explicitly
type: MANNER
Source sentences:
text: Despite this fact, complexity theorists have only been able to prove superpolynomial circuit lower bounds on functions explicitly constructed for the purpose of being hard to calculate.