Login / Signup
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.
Or Meir
Jakob Nordström
Toniann Pitassi
Robert Robere
Susanna F. de Rezende
Published in:
Electron. Colloquium Comput. Complex. (2019)
Keyphrases
</>
high speed
computer vision
computational complexity
decision problems
highly reliable
provably correct
knowledge base
website
optimal solution
wavelet transform
worst case
theorem prover
space complexity
analog circuits
analog vlsi