Login / Signup
The Surprising Power of Constant Depth Algebraic Proofs.
Russell Impagliazzo
Sasank Mouli
Toniann Pitassi
Published in:
Electron. Colloquium Comput. Complex. (2019)
Keyphrases
</>
power consumption
depth map
depth information
theorem proving
depth images
genetic algorithm
three dimensional
higher order
power distribution
information systems
image segmentation
theorem prover
computational power
depth cues
formal proofs
equational theories