@misc{indiciaee508be45b6f3, title = {Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs}, author = {Susanna F. de Rezende and Jakob Nordström and Kilian Risse and Dmitry Sokolov}, year = {2025}, doi = {10.46298/theoretics.25.9}, url = {https://arxiv.org/abs/1912.00534}, note = {Source identifier: 1912.00534} }