Matthias Krause, Petr Savický, Ingo Wegener. Approximations by OBDDs and the variable ordering problem. Electronic Colloquium on Computational Complexity (ECCC), 6(11), 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.