| 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 |
| 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 | 14 | 2021 |
| New canonical representations by augmenting OBDDs with conjunctive decomposition Y Lai, D Liu, M Yin Journal of Artificial Intelligence Research 58, 453-521, 2017 | 14 | 2017 |
| 基于扩展规则的模型计数与智能规划方法 赖永， 欧阳丹彤， 蔡敦波， 吕帅 计算机研究与发展 46 (3), 459-469, 2009 | 14 | 2009 |
| 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 | 4 | 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 | 4 | 2020 |
| Tableau算法的优化及模型规约技术 刘大有， 赖永， 王生生 计算机学报 37 (8), 1647-1657, 2014 | 3 | 2014 |
| 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 | 2 | 2023 |
| 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 |
| 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 |
| PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas Y Lai, Z Xu, M Yin arXiv preprint arXiv:2312.15877, 2023 | | 2023 |
| Variants of Tagged Sentential Decision Diagrams D Zhong, M Zhang, Q Guan, L Fang, Z Lai, Y Lai arXiv preprint arXiv:2312.00793, 2023 | | 2023 |
| Learning Group-Disentangled Representation for Interpretable Thoracic Pathologic Prediction H Li, Y Wu, H Hu, H Lu, Y Lai, S Wan 2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2022 | | 2022 |
| 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, 1-14, 2022 | | 2022 |
| 混合exactly-one约束的模型计数研究 韩淑婷， 赖永， 刘杰 东北大学学报(自然科学版) 43 (4), 463-469, 2022 | | 2022 |
Roland YapNational University of Singapore在 comp.nus.edu.sg 的电子邮件经过验证
