TY - RPRT TI - BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets AU - Kensuke Kojima PY - 2018 UR - https://arxiv.org/abs/1806.10261 ID - 1806.10261 ER -