Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach. - Yong Lai 001; Dayou Liu; Sheng-Sheng Wang 001 (Knowl. Inf. Syst., 2013)

Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition. - Yong Lai 001; Dayou Liu; Minghao Yin (CoRR, 2014)

Intelligent CPSS and its application to health care computing. - Dayou Liu; Bo Yang 002; Shang Gao 005; Yungang Zhu; Yong Lai 001 (Sci. China Inf. Sci., 2016)

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). - Yong Lai 001; Dayou Liu; Minghao Yin (IJCAI, 2017)

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition. - Yong Lai 001; Dayou Liu; Minghao Yin (J. Artif. Intell. Res., 2017)

Approximate Model Counting by Partial Knowledge Compilation. - Yong Lai 001 (CoRR, 2018)

The Power of Literal Equivalence in Model Counting. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (AAAI, 2021)

Learning Group-Disentangled Representation for Interpretable Thoracic Pathologic Prediction. - Hao Li 089; Yirui Wu; Hexuan Hu 001; Hu Lu; Yong Lai 001; Shaohua Wan 001 (BIBM, 2022)

CCDD: A Tractable Representation for Model Counting and Uniform Sampling. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (CoRR, 2022)

Fast Converging Anytime Model Counting. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (AAAI, 2023)

Variants of Tagged Sentential Decision Diagrams. - Deyuan Zhong; Mingwei Zhang; Quanlong Guan; Liangda Fang; Zhao-Rong Lai; Yong Lai 001 (CoRR, 2023)

CDText: Scene text detector based on context-aware deformable transformer. - Yirui Wu; Qiran Kong; Yong Lai 001; Fabio Narducci; Shaohua Wan 001 (Pattern Recognit. Lett., 2023)

A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs. - Mingwei Zhang; Liangda Fang; Zhenhao Gu; Quanlong Guan; Yong Lai 001 (IJCAI, 2024)

Knowledge Enhanced Zero-Shot Visual Relationship Detection. - Nan Ding; Yong Lai 001; Jie Liu (KSEM (3), 2024)

Combining bounded solving and controllable randomization for approximate model counting. - Shuai Lü 001; Tongbo Zhang; Yue Xu; Wenbo Zhou; Yong Lai 001 (J. Exp. Theor. Artif. Intell., 2024)

Edge Computing and Few-Shot Learning Featured Intelligent Framework in Digital Twin Empowered Mobile Networks. - Yirui Wu; Hao Cao; Yong Lai 001; Liang Zhao 004; Xiaoheng Deng; Shaohua Wan 001 (IEEE Trans. Netw. Serv. Manag., 2024)

Panini: An Efficient and Flexible Knowledge Compiler. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (CAV (3), 2025)

Scalable Precise Computation of Shannon Entropy. - Yong Lai 001; Haolong Tong; Zhenghang Xu; Minghao Yin (SAT, 2025)

On Top-Down Pseudo-Boolean Model Counting. - Suwei Yang; Yong Lai 001; Kuldeep S. Meel (SAT, 2025)

PBCounter: weighted model counting on pseudo-boolean formulas. - Yong Lai 001; Zhenghang Xu; Minghao Yin (Frontiers Comput. Sci., 2025)