TY  - RPRT
TI  - Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition
AU  - Yong Lai
AU  - Dayou Liu
AU  - Minghao Yin
PY  - 2014
UR  - https://arxiv.org/abs/1410.6671
ID  - 1410.6671
ER  -