Lower Bounding the AND-OR Tree via Symmetrization

William Kretschmer. Lower Bounding the AND-OR Tree via Symmetrization. TOCT, 13(1), 2021. [doi]