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