The limits of depth reduction for arithmetic formulas: it's all about the top fan-in.

Mrinal Kumar Shubhangi Saraf

Published in: STOC (2014)

Keyphrases

depth map
quantifier free
first order logic
depth information
multiscale
horn clauses
genetic algorithm
three dimensional
depth estimation
arithmetic operations