TY  - RPRT
TI  - Variants of Tagged Sentential Decision Diagrams
AU  - Deyuan Zhong
AU  - Mingwei Zhang
AU  - Quanlong Guan
AU  - Liangda Fang
AU  - Zhaorong Lai
AU  - Yong Lai
PY  - 2023
UR  - https://arxiv.org/abs/2312.00793
ID  - 2312.00793
ER  -