##article.return## Lower Bounds for Bit Pigeonhole Principles in Bounded-Depth Resolution over Parities Download Download PDF