| An effective learnt clause minimization approach for CDCL SAT solvers M Luo, CM Li, F Xiao, F Manya, Z Lü Proceedings of the 26th International Joint Conference on Artificial …, 2017 | 115 | 2017 |
| Clause vivification by unit propagation in CDCL SAT solvers CM Li, F Xiao, M Luo, F Manyà, Z Lü, Y Li Artificial Intelligence 279, 103197, 2020 | 35 | 2020 |
| A branching heuristic for SAT solvers based on complete implication graphs F Xiao, CM Li, M Luo, F Manya, Z Lü, Y Li Science China Information Sciences 62, 1-13, 2019 | 15 | 2019 |
| A new variable ordering for in-processing bounded variable elimination in SAT solvers S Li, CM Li, M Luo, J Coll, D Habet, F Manyà 32th International Joint Conferences on Artificial Intelligence (IJCAI 2023), 2023 | 2 | 2023 |
| A novel local search approach with connected dominating degree-based incremental neighborhood evaluation for the minimum 2-connected dominating set problem M Luo, H Qin, X Wu, C Xiong Journal of Combinatorial Optimization 47 (5), 72, 2024 | 1 | 2024 |
| Efficient Maintenance of Minimum Spanning Trees in Dynamic Weighted Undirected Graphs M Luo, H Qin, X Wu, C Xiong, D Xia, Y Ke Mathematics 12 (7), 1021, 2024 | 1 | 2024 |
| Branching Strategy Selection Approach Based on Vivification Ratio M Luo, CM Li, X Wu, S Li, Z Lü arXiv preprint arXiv:2112.06917, 2021 | 1 | 2021 |
| An adaptive focal distance tabu search approach for the minimum 2-connected dominating set problem M Luo, X Liu, X Wu, C Xiong, Y Ke The Journal of Supercomputing 81 (3), 1-32, 2025 | | 2025 |
| An In-Label Prioritizing Variable Branching Strategy of SAT Solvers for a Preferred Extension of Argumentation Frameworks M Luo, J Xiong, N He, C Xiong, X Wu, J Wu Pacific Rim International Conference on Artificial Intelligence, 216-231, 2024 | | 2024 |
| A Four-Label-Based Algorithm for Solving Stable Extension Enumeration in Abstract Argumentation Frameworks M Luo, N He, X Wu, C Xiong, W Xu Applied Sciences 14 (17), 7656, 2024 | | 2024 |
| Dual-Neighborhood Tabu Search for Computing Stable Extensions in Abstract Argumentation Frameworks. Y Ke, X Hu, J Sun, X Wu, C Xiong, M Luo Applied Sciences (2076-3417) 14 (15), 2024 | | 2024 |
Chu Min LiMIS, Université de Picardie Jules Verneu-picardie.fr의 이메일 확인됨
