TY  - RPRT
TI  - Lower Bounding the AND-OR Tree via Symmetrization
AU  - William Kretschmer
PY  - 2023
DO  - 10.1145/3434385
UR  - https://arxiv.org/abs/1907.06731
ID  - 1907.06731
ER  -