Yong Lai

26 papers A* 4A 2Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
SMT(LIA) Sampling with High Diversity.
TACAS (1)
Yong Lai, Junjie Li, Chuan Luo
2025 A conf
On Top-Down Pseudo-Boolean Model Counting.
SAT
Suwei Yang, Yong Lai, Kuldeep S. Meel
2025 J jnl
On Top-Down Pseudo-Boolean Model Counting.
CoRR
Suwei Yang, Yong Lai, Kuldeep S. Meel
2025 J jnl
PBCounter: weighted model counting on pseudo-boolean formulas.
Frontiers Comput. Sci.
Yong Lai, Zhenghang Xu, Minghao Yin
2025 — conf
Panini: An Efficient and Flexible Knowledge Compiler.
CAV (3)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2025 A conf
Scalable Precise Computation of Shannon Entropy.
SAT
Yong Lai, Haolong Tong, Zhenghang Xu, Minghao Yin
2025 J jnl
Scalable Precise Computation of Shannon Entropy.
CoRR
Yong Lai, Haolong Tong, Zhenghang Xu, Minghao Yin
2024 A* conf
A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs.
IJCAI
Mingwei Zhang, Liangda Fang, Zhenhao Gu, Quanlong Guan, Yong Lai
2024 J jnl
Combining bounded solving and controllable randomization for approximate model counting.
J. Exp. Theor. Artif. Intell.
Shuai Lü, Tongbo Zhang, Yue Xu, Wenbo Zhou, Yong Lai
2024 J jnl
Edge Computing and Few-Shot Learning Featured Intelligent Framework in Digital Twin Empowered Mobile Networks.
IEEE Trans. Netw. Serv. Manag.
Yirui Wu, Hao Cao, Yong Lai, Liang Zhao, Xiaoheng Deng, Shaohua Wan
2024 — conf
Knowledge Enhanced Zero-Shot Visual Relationship Detection.
KSEM (3)
Nan Ding, Yong Lai, Jie Liu
2023 J jnl
CDText: Scene text detector based on context-aware deformable transformer.
Pattern Recognit. Lett.
Yirui Wu, Qiran Kong, Yong Lai, Fabio Narducci, Shaohua Wan
2023 A* conf
Fast Converging Anytime Model Counting.
AAAI
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2023 J jnl
PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas.
CoRR
Yong Lai, Zhenghang Xu, Minghao Yin
2023 J jnl
Variants of Tagged Sentential Decision Diagrams.
CoRR
Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Yong Lai
2022 J jnl
CCDD: A Tractable Representation for Model Counting and Uniform Sampling.
CoRR
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2022 J jnl
Fast Converging Anytime Model Counting.
CoRR
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2022 — conf
Learning Group-Disentangled Representation for Interpretable Thoracic Pathologic Prediction.
BIBM
Hao Li, Yirui Wu, Hexuan Hu, Hu Lu, Yong Lai, Shaohua Wan
2021 A* conf
The Power of Literal Equivalence in Model Counting.
AAAI
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2018 J jnl
Approximate Model Counting by Partial Knowledge Compilation.
CoRR
Yong Lai
2017 A* conf
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract).
IJCAI
Yong Lai, Dayou Liu, Minghao Yin
2017 J jnl
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition.
J. Artif. Intell. Res.
Yong Lai, Dayou Liu, Minghao Yin
2016 J jnl
Intelligent CPSS and its application to health care computing.
Sci. China Inf. Sci.
Dayou Liu, Bo Yang, Shang Gao, Yungang Zhu, Yong Lai
2014 J jnl
Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition.
CoRR
Yong Lai, Dayou Liu, Minghao Yin
2013 J jnl
Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach.
Knowl. Inf. Syst.
Yong Lai, Dayou Liu, Sheng-Sheng Wang
2011 J jnl
Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach
CoRR
Yong Lai, Dayou Liu, Sheng-Sheng Wang