| The power of literal equivalence in model counting Y Lai, KS Meel, RHC Yap Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3851-3859, 2021 | 20 | 2021 |
| Reduced ordered binary decision diagram with implied literals: A new knowledge compilation approach Y Lai, D Liu, S Wang Knowledge and Information Systems 35 (3), 665-712, 2013 | 18 | 2013 |
| New canonical representations by augmenting obdds with conjunctive decomposition Y Lai, D Liu, M Yin Journal of Artificial Intelligence Research 58, 453-521, 2017 | 15 | 2017 |
| 基于扩展规则的模型计数与智能规划方法 赖永， 欧阳丹彤， 蔡敦波， 吕帅 计算机研究与发展 46 (3), 459-469, 2009 | 14 | 2009 |
| CDText: Scene text detector based on context-aware deformable transformer Y Wu, Q Kong, Y Lai, F Narducci, S Wan Pattern Recognition Letters 172, 8-14, 2023 | 6 | 2023 |
| C2E: 一个高性能的EPCCL编译器 刘大有， 赖永， 林海 计算机学报 36 (6), 1254-1260, 2013 | 6 | 2013 |
| Fast converging anytime model counting Y Lai, KS Meel, RHC Yap Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 4025-4034, 2023 | 5 | 2023 |
| Improved Memetic Algorithm for Solving the Minimum Weight Vertex Independent Dominating Set Y Zhou, J Li, Y Liu, S Lv, Y Lai, J Wang Mathematics 8 (7), 1155, 2020 | 5 | 2020 |
| Tableau算法的优化及模型规约技术 刘大有， 赖永， 王生生 计算机学报 37 (8), 1647-1657, 2014 | 3 | 2014 |
| CCDD: A Tractable Representation for Model Counting and Uniform Sampling Y Lai, KS Meel, RHC Yap arXiv preprint arXiv:2202.10025, 2022 | 2 | 2022 |
| A new SAT Encoding Scheme for Exactly-one Constraints J Cai, Y Su, X Yang, J Min, Y Lai Journal of Physics: Conference Series 1288 (1), 012035, 2019 | 1 | 2019 |
| Approximate Model Counting by Partial Knowledge Compilation Y Lai arXiv preprint arXiv:1805.07180, 2018 | 1 | 2018 |
| Intelligent CPSS and its application to health care computing D Liu, B Yang, S Gao, Y Zhu, Y Lai SCIENCE CHINA Information Sciences 59 (5), 050103, 2016 | 1 | 2016 |
| Interactive Activity Learning from Trajectories with Qualitative Spatio‐Temporal Relation S Wang, C Wen, Y Lai, W Liu, D Liu Chinese Journal of Electronics 24 (3), 508-512, 2015 | 1 | 2015 |
| PBCounter: weighted model counting on pseudo-boolean formulas Y Lai, Z Xu, M Yin Frontiers of Computer Science 19 (3), 193402, 2025 | | 2025 |
| Scalable Precise Computation of Shannon Entropy Y Lai, H Tong, Z Xu, M Yin arXiv preprint arXiv:2502.01160, 2025 | | 2025 |
| Combining bounded solving and controllable randomization for approximate model counting S Lü, T Zhang, Y Xu, W Zhou, Y Lai Journal of Experimental & Theoretical Artificial Intelligence 36 (7), 1075-1088, 2024 | | 2024 |
| Edge Computing and Few-Shot Learning Featured Intelligent Framework in Digital Twin Empowered Mobile Networks Y Wu, H Cao, Y Lai, L Zhao, X Deng, S Wan IEEE Transactions on Network and Service Management, 2024 | | 2024 |
| A multi-valued decision diagram-based approach to constrained optimal path problems over directed acyclic graphs M Zhang, L Fang, Z Gu, Q Guan, Y Lai Proceedings of the Thirty-Third International Joint Conference on Artificial …, 2024 | | 2024 |
| Knowledge Enhanced Zero-Shot Visual Relationship Detection N Ding, Y Lai, J Liu International Conference on Knowledge Science, Engineering and Management, 3-15, 2024 | | 2024 |
Roland YapNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg
