Chu Min Li
Université de Picardie Jules Verne
H-index: 33
Europe-France
Top articles of Chu Min Li
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Threshold-Based Responsive Simulated Annealing for Directed Feedback Vertex Set Problem | Proceedings of the AAAI Conference on Artificial Intelligence | Qingyun Zhang Yuming Du Zhouxing Su Chu-Min Li Junzhou Xu | 2024/3/24 |
An Efficient Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems | arXiv preprint arXiv:2404.09997 | Jiongzhi Zheng Jinghui Xue Kun He Chu-Min Li Yanli Liu | 2024/1/19 |
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers | arXiv preprint arXiv:2401.10589 | Jiongzhi Zheng Zhuo Chen Chu-Min Li Kun He | 2024/1/19 |
Geometric batch optimization for packing equal circles in a circle on large scale | Expert Systems with Applications | Jianrong Zhou Kun He Jiongzhi Zheng Chu-Min Li | 2024/4/9 |
An efficient solution space exploring and descent method for packing equal spheres in a sphere | Computers & Operations Research | Jianrong Zhou Shuo Ren Kun He Yanli Liu Chu-Min Li | 2024/4 |
A Tableau Calculus for Signed Maximum Satisfiability | Shuolin Li Jordi Coll Djamal Habet Chu Min Li Felip Manyà | 2023/5/22 | |
MaxSAT resolution for regular propositional logic | International Journal of Approximate Reasoning | Jordi Coll Chu-Min Li Felip Manyà Elifnaz Yangin | 2023/11/1 |
Reinforced Lin–Kernighan–Helsgaun algorithms for the traveling salesman problems | Knowledge-Based Systems | Jiongzhi Zheng Kun He Jianrong Zhou Yan Jin Chu-Min Li | 2023/1/25 |
Parallel Bounded Search for the Maximum Clique Problem | Journal of Computer Science and Technology | Hua Jiang Ke Bai Hai-Jiao Liu Chu-Min Li Felip Manyà | 2023 |
On solving simplified diversified top-k s-plex problem | Computers & Operations Research | Jun Wu Chu-Min Li Luzhi Wang Shuli Hu Peng Zhao | 2023/5/1 |
A new variable ordering for in-processing bounded variable elimination in sat solvers | Shuolin Li Chu-Min Li Mao Luo Jordi Coll Djamal Habet | 2023/8/19 | |
Hybrid learning with new value function for the maximum common induced subgraph problem | Proceedings of the AAAI Conference on Artificial Intelligence | Yanli Liu Jiming Zhao Chu-Min Li Hua Jiang Kun He | 2023/6/26 |
Geometric Batch Optimization for the Packing Equal Circles in a Circle Problem on Large Scale | arXiv preprint arXiv:2303.02650 | Jianrong Zhou Kun He Jiongzhi Zheng Chu-Min Li | 2023/3/5 |
Clausal Forms in MaxSAT and MinSAT | International Journal of Computational Intelligence Systems | Chu Min Li Felip Manyà Joan Ramon Soler Amanda Vidal | 2022/11/11 |
A strengthened branch and bound algorithm for the maximum common (connected) subgraph problem | Jianrong Zhou Kun He Jiongzhi Zheng Chu-Min Li Yanli Liu | 2022/7/23 | |
Combining hybrid walking strategy with kissat mab, cadical, and lstech-maple | SAT COMPETITION 2022 | Jiongzhi Zheng Kun He Zhuo Chen Jianrong Zhou Chu-Min Li | 2022 |
Inference in MaxSAT and MinSAT | Chu Min Li Felip Manyà | 2022/7/4 | |
Boosting branch-and-bound MaxSAT solvers with clause learning | AI Communications | Chu-Min Li Zhenxing Xu Jordi Coll Felip Manyà Djamal Habet | 2022/1 |
Bandmaxsat: A local search MaxSAT solver with multi-armed bandit | Jiongzhi Zheng Kun He Jianrong Zhou Yan Jin Chu-min Li | 2022/7/23 | |
A Tableau Calculus for MaxSAT Based on Resolution | Artificial Intelligence Research and Development: Proceedings of the 24th International Conference of the Catalan Association for Artificial Intelligence | A Cortés | 2022/11/3 |