TY  - RPRT
TI  - Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams
AU  - Seiichiro Tani
PY  - 2025
DO  - 10.1016/j.tcs.2025.115230
UR  - https://arxiv.org/abs/1909.12658
ID  - 1909.12658
ER  -