Login / Signup
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.
Susanna F. de Rezende
Or Meir
Jakob Nordström
Toniann Pitassi
Robert Robere
Marc Vinyals
Published in:
CoRR (2020)
Keyphrases
</>
high speed
wavelet transform
computational complexity
decision trees
computational cost
theorem proving
data sets
social networks
expert systems
highly reliable