Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard.

Jesper Torp Kristensen, Peter Bro Miltersen

Browse the full COCOON paper archive.