@misc{indiciae0b08f4036074,
  title = {Variants of Tagged Sentential Decision Diagrams},
  author = {Deyuan Zhong and Mingwei Zhang and Quanlong Guan and Liangda Fang and Zhaorong Lai and Yong Lai},
  year = {2023},
  url = {https://arxiv.org/abs/2312.00793},
  note = {Source identifier: 2312.00793}
}