Approximations by OBDDs and the variable ordering problem

Matthias Krause, Petr Savický, Ingo Wegener. Approximations by OBDDs and the variable ordering problem. Electronic Colloquium on Computational Complexity (ECCC), 6(11), 1999. [doi]

Abstract

Abstract is missing.