TY  - RPRT
TI  - A nearly-$4\log n$ depth lower bound for formulas with restriction on top
AU  - Hao Wu
PY  - 2024
UR  - https://arxiv.org/abs/2404.15613
ID  - 2404.15613
ER  -