Sam Buss, Dmitry Itsykson, Alexander Knop, Artur Riazanov, Dmitry Sokolov 0001. Lower Bounds on OBDD Proofs with Several Orders. ACM Trans. Comput. Log., 22(4), 2021. [doi]
@article{BussIKRS21,
title = {Lower Bounds on OBDD Proofs with Several Orders},
author = {Sam Buss and Dmitry Itsykson and Alexander Knop and Artur Riazanov and Dmitry Sokolov 0001},
year = {2021},
doi = {10.1145/3468855},
url = {https://doi.org/10.1145/3468855},
researchr = {https://researchr.org/publication/BussIKRS21},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {22},
number = {4},
}