Signal propagation, with application to a lower bound on the depth of noisy formulas | IEEE Conference Publication | IEEE Xplore