Yong Lai

According to our database, Yong Lai authored at least 20 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

PBCounter: weighted model counting on pseudo-boolean formulas.

Yong Lai, Zhenghang Xu, Minghao Yin

Frontiers Comput. Sci., March, 2025

On Top-Down Pseudo-Boolean Model Counting.

Suwei Yang, Yong Lai, Kuldeep S. Meel

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Scalable Precise Computation of Shannon Entropy.

Yong Lai, Haolong Tong, Zhenghang Xu, Minghao Yin

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Panini: An Efficient and Flexible Knowledge Compiler.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Edge Computing and Few-Shot Learning Featured Intelligent Framework in Digital Twin Empowered Mobile Networks.

Yirui Wu, Hao Cao, Yong Lai, Liang Zhao, Xiaoheng Deng, Shaohua Wan

IEEE Trans. Netw. Serv. Manag., December, 2024

Combining bounded solving and controllable randomization for approximate model counting.

Shuai Lü, Tongbo Zhang, Yue Xu, Wenbo Zhou, Yong Lai

J. Exp. Theor. Artif. Intell., October, 2024

Knowledge Enhanced Zero-Shot Visual Relationship Detection.

Nan Ding, Yong Lai, Jie Liu

Proceedings of the Knowledge Science, Engineering and Management, 2024

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

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

CDText: Scene text detector based on context-aware deformable transformer.

Yirui Wu, Qiran Kong, Yong Lai, Fabio Narducci, Shaohua Wan

Pattern Recognit. Lett., August, 2023

Variants of Tagged Sentential Decision Diagrams.

Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Yong Lai

CoRR, 2023

Fast Converging Anytime Model Counting.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

CCDD: A Tractable Representation for Model Counting and Uniform Sampling.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

CoRR, 2022

Learning Group-Disentangled Representation for Interpretable Thoracic Pathologic Prediction.

Hao Li, Yirui Wu, Hexuan Hu, Hu Lu, Yong Lai, Shaohua Wan

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

2021

The Power of Literal Equivalence in Model Counting.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2018

Approximate Model Counting by Partial Knowledge Compilation.

Yong Lai

CoRR, 2018

2017

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition.

Yong Lai, Dayou Liu, Minghao Yin

J. Artif. Intell. Res., 2017

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract).

Yong Lai, Dayou Liu, Minghao Yin

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Intelligent CPSS and its application to health care computing.

Dayou Liu, Bo Yang, Shang Gao, Yungang Zhu, Yong Lai

Sci. China Inf. Sci., 2016

2014

Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition.

Yong Lai, Dayou Liu, Minghao Yin

CoRR, 2014

2013

Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach.

Yong Lai, Dayou Liu, Sheng-Sheng Wang

Knowl. Inf. Syst., 2013