Finding small OBDDs for incompletely specified truth tables is hard - Jesper Torp Kristensen; Peter Bro Miltersen (Electron. Colloquium Comput. Complex., 2006)