Albert Atserias, Moritz Müller, Sergi Oliva. Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle. In Proceedings of the 28th Conference on Computational Complexity, CCC 2013, K.lo Alto, California, USA, 5-7 June, 2013. pages 109-120, IEEE, 2013. [doi]
Abstract is missing.