Dmitry Itsykson, Alexander Knop, Andrei E. Romashchenko, Dmitry Sokolov 0001. On OBDD-based algorithms and proof systems that dynamically change order of variables. Electronic Colloquium on Computational Complexity (ECCC), 26:1, 2019. [doi]
@article{ItsyksonKRS19,
title = {On OBDD-based algorithms and proof systems that dynamically change order of variables},
author = {Dmitry Itsykson and Alexander Knop and Andrei E. Romashchenko and Dmitry Sokolov 0001},
year = {2019},
url = {https://eccc.weizmann.ac.il/report/2019/001},
researchr = {https://researchr.org/publication/ItsyksonKRS19},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {26},
pages = {1},
}