The Limits of Depth Reduction for Arithmetic Formulas: It's all about the top fan-in.

Mrinal Kumar Shubhangi Saraf

Published in: CoRR (2013)

Keyphrases

quantifier free
depth information
real numbers
arithmetic operations
website
multi view
depth map
real time
databases
learning algorithm
stereo vision
floating point
reduction method
action theories
rewrite systems