TY  - RPRT
TI  - Ordered {AND, OR}-Decomposition and Binary-Decision Diagram
AU  - Yong Lai
AU  - Dayou Liu
PY  - 2014
UR  - https://arxiv.org/abs/1208.2852
ID  - 1208.2852
ER  -