William Kretschmer. Lower Bounding the AND-OR Tree via Symmetrization. TOCT, 13(1), 2021. [doi]
@article{Kretschmer21-0, title = {Lower Bounding the AND-OR Tree via Symmetrization}, author = {William Kretschmer}, year = {2021}, doi = {10.1145/3434385}, url = {https://doi.org/10.1145/3434385}, researchr = {https://researchr.org/publication/Kretschmer21-0}, cites = {0}, citedby = {0}, journal = {TOCT}, volume = {13}, number = {1}, }