![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | Jesper Torp Kristensen, Peter Bro Miltersen: Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard. COCOON 2006: 489-496 |
1 | EE | Jesper Torp Kristensen, Peter Bro Miltersen: Finding small OBDDs for incompletely specified truth tables is hard Electronic Colloquium on Computational Complexity (ECCC)(004): (2006) |
1 | Peter Bro Miltersen | [1] [2] |