Finding small OBDDs for incompletely specified truth tables is hard

Jesper Torp Kristensen, Peter Bro Miltersen. Finding small OBDDs for incompletely specified truth tables is hard. Electronic Colloquium on Computational Complexity (ECCC), (004), 2006. [doi]

Abstract

Abstract is missing.