TY  - RPRT
TI  - Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
AU  - Susanna F. de Rezende
AU  - Jakob Nordström
AU  - Kilian Risse
AU  - Dmitry Sokolov
PY  - 2025
DO  - 10.46298/theoretics.25.9
UR  - https://arxiv.org/abs/1912.00534
ID  - 1912.00534
ER  -