A spectral lower bound technique for the size of decision trees and two-level AND/OR circuits | IEEE Journals & Magazine | IEEE Xplore