A non-linear time lower bound for Boolean branching programs | IEEE Conference Publication | IEEE Xplore