Separating Circuits : Switching Lemmas and Random Restrictions.

Bruce Changlong Xu

Published in: CoRR (2021)

Keyphrases

tunnel diode
high speed
neural network
theorem proving
analog vlsi
databases
theorem prover
logic synthesis
real time
search engine
artificial neural networks
probability distribution
uniformly distributed
transmission line