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]

Authors

Jesper Torp Kristensen

This author has not been identified. Look up 'Jesper Torp Kristensen' in Google

Peter Bro Miltersen

This author has not been identified. Look up 'Peter Bro Miltersen' in Google