TY  - RPRT
TI  - Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach
AU  - Yong Lai
AU  - Dayou Liu
AU  - Shengsheng Wang
PY  - 2011
DO  - 10.1007/s10115-012-0525-6
UR  - https://arxiv.org/abs/1103.3123
ID  - 1103.3123
ER  -