@misc{indiciaecfa80215ed7e, title = {Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams}, author = {Kamil Khadiev and Aliya Khadieva}, year = {2017}, doi = {10.1007/978-3-319-58747-9\_16 10.1007/s11047-022-09904-3}, url = {https://arxiv.org/abs/1703.00242}, note = {Source identifier: 1703.00242} }