Resolution lower bounds for the weak pigeon hole principle | IEEE Conference Publication | IEEE Xplore