|
|
|
Kotaro Matsuda, Shuhei Denzumi and Kunihiko Sadakane
Zero-suppressed Binary Decision Diagrams (ZDDs) are data structures for representing set families in a compressed form. With ZDDs, many valuable operations on set families can be done in time polynomial in ZDD size. In some cases, however, the size of ZD...
ver más
|
|
|