Improved Average-Case Lower Bounds for DeMorgan Formula Size | IEEE Conference Publication | IEEE Xplore