Matthias Krause, Petr Savický, Ingo Wegener. Approximations by OBDDs and the variable ordering problem. Electronic Colloquium on Computational Complexity (ECCC), 6(11), 1999. [doi]
@article{ECCC-TR99-011,
title = {Approximations by OBDDs and the variable ordering problem},
author = {Matthias Krause and Petr Savický and Ingo Wegener},
year = {1999},
url = {http://eccc.hpi-web.de/eccc-reports/1999/TR99-011/index.html},
researchr = {https://researchr.org/publication/ECCC-TR99-011},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {6},
number = {11},
}