Chu Min LI
Professeur des Universités
Bureau 313
Téléphone : 5910
Publications - Liste HAL (5 dernières années)
2025
Article dans une revue
- auteur
- Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
- titre
- Integrating multi-armed bandit with local search for MaxSAT
- article
- Artificial Intelligence, 2025, 338, pp.104242. ⟨10.1016/j.artint.2024.104242⟩
- identifiant
- hal-04836718
- Accès au bibtex
-
2024
Article dans une revue
- auteur
- Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li
- titre
- Geometric batch optimization for packing equal circles in a circle on large scale
- article
- Expert Systems with Applications, 2024, pp.123952. ⟨10.1016/j.eswa.2024.123952⟩
- identifiant
- hal-04543462
- Accès au bibtex
-
- auteur
- Jianrong Zhou, Shuo Ren, Kun He, Yanli Liu, Chu-Min Li
- titre
- An efficient solution space exploring and descent method for packing equal spheres in a sphere
- article
- Computers and Operations Research, 2024, 164, pp.106522. ⟨10.1016/j.cor.2023.106522⟩
- identifiant
- hal-04473319
- Accès au bibtex
-
- auteur
- Qingyun Zhang, Yuming Du, Zhouxing Su, Chu-Min Li, Junzhou Xu, Zhihuai Chen, Zhipeng Lü
- titre
- Threshold-Based Responsive Simulated Annealing for Directed Feedback Vertex Set Problem
- article
- Proceedings of the AAAI Conference on Artificial Intelligence, 2024, 38 (18), pp.20856-20864. ⟨10.1609/aaai.v38i18.30075⟩
- identifiant
- hal-04524415
- Accès au bibtex
-
Communication dans un congrès
- auteur
- Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville
- titre
- Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability
- article
- 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Sep 2024, Girona, Spain. ⟨10.4230/LIPIcs.CP.2024.34⟩
- identifiant
- hal-04699557
- Accès au texte intégral et bibtex
-
- auteur
- Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville
- titre
- Planification des sessions parallèles de la conférence ROADEF via la satisfiabilité maximum
- article
- Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
- identifiant
- hal-04701879
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Bazaille, Chumin Li, Corinne Lucet, Laure Brisoux Devendeville, Sami Cherif
- titre
- Approche portfolio pour le problème des p-centres
- article
- Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
- identifiant
- hal-04701887
- Accès au texte intégral et bibtex
-
- auteur
- Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin
- titre
- A Tableau Calculus for Non-Clausal Regular MaxSAT
- article
- 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL), May 2024, Brno, France. pp.137-142, ⟨10.1109/ISMVL60454.2024.00035⟩
- identifiant
- hal-04767647
- Accès au bibtex
-
Chapitre d'ouvrage
- auteur
- Jinghui Xue, Jiongzhi Zheng, Kun He, Chu-Min Li, Yanli Liu
- titre
- DiverTEAM: An Effective Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems
- article
- ECAI 2024, 392, IOS Press, pp.4108 - 4115, 2024, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA240981⟩
- identifiant
- hal-04744936
- Accès au bibtex
-
2023
Article dans une revue
- auteur
- Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
- titre
- MaxSAT resolution for regular propositional logic
- article
- International Journal of Approximate Reasoning, 2023, 162, ⟨10.1016/j.ijar.2023.109010⟩
- identifiant
- hal-04321549
- Accès au texte intégral et bibtex
-
- auteur
- Qingyun Zhang, Zhipeng Lü, Zhouxing Su, Chumin Li
- titre
- A vertex weighting-based double-tabu search algorithm for the classical p -center problem
- article
- Computers and Operations Research, 2023, pp.106373. ⟨10.1016/j.cor.2023.106373⟩
- identifiant
- hal-04179925
- Accès au bibtex
-
- auteur
- Jun Wu, Chu-Min Li, Luzhi Wang, Shuli Hu, Peng Zhao, Minghao Yin
- titre
- On solving simplified diversified top- k s -plex problem
- article
- Computers and Operations Research, 2023, 153, pp.106187. ⟨10.1016/j.cor.2023.106187⟩
- identifiant
- hal-04510769
- Accès au bibtex
-
- auteur
- Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
- titre
- Reinforced Lin–Kernighan–Helsgaun algorithms for the traveling salesman problems
- article
- Knowledge-Based Systems, 2023, 260, pp.110144. ⟨10.1016/j.knosys.2022.110144⟩
- identifiant
- hal-04124984
- Accès au bibtex
-
- auteur
- Hua Jiang, Ke Bai, Hai-Jiao Liu, Chu-Min Li, Felip Manyà, Zhang-Hua Fu
- titre
- Parallel bounded search for the Maximum Clique Problem
- article
- Journal of Computer Science and Technology, 2023, 38 (5), pp.1187-1202. ⟨10.1007/s11390-022-1803-8⟩
- identifiant
- hal-04321512
- Accès au bibtex
-
Communication dans un congrès
- auteur
- Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He
- titre
- Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
- article
- Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, Aug 2023, Jeju, South Korea. pp.1989-1997, ⟨10.24963/ijcai.2024/220⟩
- identifiant
- hal-04664122
- Accès au bibtex
-
- auteur
- Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
- titre
- A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers
- article
- 32th International Joint Conferences on Artificial Intelligence (IJCAI 2023), Aug 2023, Macao, Macau SAR China. ⟨10.24963/ijcai.2023/220⟩
- identifiant
- hal-04145361
- Accès au texte intégral et bibtex
-
- auteur
- Zhenxuan Xie, Zhipeng Lü, Zhouxing Su, Chu-Min Li, Junwen Ding, Yuxuan Wang
- titre
- A Swap Relaxation-Based Local Search for the Latin Square Completion Problem
- article
- Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, Aug 2023, Jeju, South Korea. pp.7047-7055, ⟨10.24963/ijcai.2024/779⟩
- identifiant
- hal-04664125
- Accès au bibtex
-
- auteur
- Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
- titre
- A Tableau Calculus for Signed Maximum Satisfiability
- article
- 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), May 2023, Matsue, Japan. pp.170-175, ⟨10.1109/ISMVL57333.2023.00041⟩
- identifiant
- hal-04322269
- Accès au bibtex
-
- auteur
- Yanli Liu, Jiming Zhao, Chu-Min Li, Hua Jiang, Kun He
- titre
- Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem
- article
- aaai2023, 2023, Washington, United States. pp.4044-4051, ⟨10.1609/aaai.v37i4.25519⟩
- identifiant
- hal-04145340
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- auteur
- Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
- titre
- Incorporating Multi-armed Bandit with Local Search for MaxSAT
- article
- 2023
- identifiant
- hal-04154091
- Accès au bibtex
-
- auteur
- Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li
- titre
- Geometric Batch Optimization for the Packing Equal Circles in a Circle Problem on Large Scale
- article
- 2023
- identifiant
- hal-04153692
- Accès au bibtex
-
2022
Article dans une revue
- auteur
- Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
- titre
- Clausal Forms in MaxSAT and MinSAT
- article
- International Journal of Computational Intelligence Systems, 2022, 15 (1), pp.97. ⟨10.1007/s44196-022-00143-z⟩
- identifiant
- hal-03869414
- Accès au bibtex
-
- auteur
- Yan Jin, Bowen Xiong, Kun He, Jin-Kao Hao, Chu-Min Li, Zhang-Hua Fu
- titre
- Clustering Driven Iterated Hybrid Search for Vertex Bisection Minimization
- article
- IEEE Transactions on Computers, 2022, 71 (10), pp.2370-2380. ⟨10.1109/TC.2021.3128504⟩
- identifiant
- hal-04012413
- Accès au bibtex
-
- auteur
- Yan Jin, Bowen Xiong, Kun He, Jin-Kao Hao, Chu-Min Li, Zhang-Hua Fu
- titre
- Clustering Driven Iterated Hybrid Search for Vertex Bisection Minimization
- article
- IEEE Transactions on Computers, 2022, 71, pp.2370 - 2380. ⟨10.1109/tc.2021.3128504⟩
- identifiant
- hal-04320703
- Accès au texte intégral et bibtex
-
- auteur
- Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
- titre
- Boosting branch-and-bound MaxSAT solvers with clause learning
- article
- AI Communications, 2022, 35, pp.131 - 151. ⟨10.3233/aic-210178⟩
- identifiant
- hal-04320721
- Accès au bibtex
-
Communication dans un congrès
- auteur
- Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
- titre
- Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)
- article
- 31ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI 2022), Jul 2022, Vienne, Austria
- identifiant
- hal-03775319
- Accès au texte intégral et bibtex
-
- auteur
- Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu
- titre
- A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem
- article
- IJCAI-2022, 2022, Vienna, Austria. pp.1908-1914
- identifiant
- hal-04525626
- Accès au texte intégral et bibtex
-
- auteur
- Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manya
- titre
- BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
- article
- IJCAI- 2022, 2022, Vienna, Austria. pp.1901-1907
- identifiant
- hal-04525613
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- auteur
- Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà
- titre
- A Tableau Calculus for MaxSAT Based on Resolution
- article
- Artificial Intelligence Research and Development, IOS Press, 2022, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA220311⟩
- identifiant
- hal-04013828
- Accès au bibtex
-
- auteur
- Chu Min Li, Felip Manyà
- titre
- Inference in MaxSAT and MinSAT
- article
- The Logic of Software. A Tasting Menu of Formal Methods, 13360, Springer International Publishing, pp.350-369, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-08166-8_16⟩
- identifiant
- hal-04007852
- Accès au bibtex
-
2021
Article dans une revue
- auteur
- Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
- titre
- Boosting branch-and-bound MaxSAT solvers with clause learning
- article
- AI Communications, 2021, pp.1-21. ⟨10.3233/AIC-210178⟩
- identifiant
- hal-03594950
- Accès au bibtex
-
- auteur
- Junping Zhou, Chumin Li, Yupeng Zhou, Mingyang Li, Lili Liang, Jianan Wang
- titre
- Solving diversified top-k weight clique search problem
- article
- Science China Information Sciences, 2021, 64 (5, SI), ⟨10.1007/s11432-020-3069-4⟩
- identifiant
- hal-03636408
- Accès au bibtex
-
- auteur
- Christian Blum, Marko Djukanovic, Alberto Santini, Hua Jiang, Chu-Min Li, Felip Manya, Guenter R. Raidl
- titre
- Solving longest common subsequence problems via a transformation to the maximum clique problem
- article
- Computers and Operations Research, 2021, 125, ⟨10.1016/j.cor.2020.105089⟩
- identifiant
- hal-03636411
- Accès au bibtex
-
- auteur
- Chu-Min Li, Fan Xiao, Felip Manya
- titre
- A resolution calculus for MinSAT
- article
- Logic Journal of the IGPL, 2021, 29 (1), pp.28-44. ⟨10.1093/jigpal/jzz028⟩
- identifiant
- hal-03636410
- Accès au bibtex
-
- auteur
- Josep Argelich, Chu Min Li, Felip Manya, Joan Ramon Soler
- titre
- Clause tableaux for maximum and minimum satisfiability
- article
- Logic Journal of the IGPL, 2021, 29 (1), pp.7-27. ⟨10.1093/jigpal/jzz025⟩
- identifiant
- hal-03636409
- Accès au bibtex
-
Communication dans un congrès
- auteur
- Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
- titre
- Combining Clause Learning and Branch and Bound for MaxSAT
- article
- The 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Online, France. pp.38:1-38:18, ⟨10.4230/LIPIcs.CP.2021.38⟩
- identifiant
- hal-04322089
- Accès au texte intégral et bibtex
-
- auteur
- Qingyun Zhang,, Zhipeng Lü,, Zhouxing Su,, Chumin Li, Yuan Fang,, Fuda Ma
- titre
- Vertex weighting-based tabu search for p-center problem
- article
- the Twenty-Ninth International Conference on International Joint Conferences on Artificial Intelligence, Jul 2021, Yokohama, Japan. pp.Pages 1481-1487
- identifiant
- hal-04525582
- Accès au bibtex
-
- auteur
- Zhouxing Su, Qingyun Zhang, Chu-Min Li, Weibo Lin, Fuda Ma
- titre
- Weighting-based Variable Neighborhood Search for Optimal Camera Placement *
- article
- The AAAI Conference on Artificial Intelligence (AAAI-2021), Feb 2021, Online, United States. pp.12400-12408
- identifiant
- hal-04322244
- Accès au bibtex
-
- auteur
- Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
- titre
- Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem
- article
- The AAAI conference on artificial intelligence (AAAI-2021), Feb 2021, Online, United States. pp.12445-12452
- identifiant
- hal-04322234
- Accès au bibtex
-
- auteur
- Zhouxing Su, Qingyun Zhang, Zhipeng Lu, Chu-Min Li, Weibo Lin, Fuda Ma
- titre
- Weighting-based Variable Neighborhood Search for Optimal Camera Placement
- article
- THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2021, Vancouver, Canada. pp.12400-12408
- identifiant
- hal-03636412
- Accès au bibtex
-
- auteur
- Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
- titre
- Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem
- article
- THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2021, Vancouver, Canada. pp.12445-12452
- identifiant
- hal-03636413
- Accès au bibtex
-
- auteur
- Qingyun Zhang, Zhouxing Su, Chumin Li, Yuan Fang, Fuda Ma
- titre
- Vertex Weighting-Based Tabu Search for p-Center Problem
- article
- IJCAI'20: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, Jan 2021, Yokohama Yokohama, Japan. pp.1481-1487
- identifiant
- hal-04322217
- Accès au bibtex
-
- auteur
- Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
- titre
- Combining Clause Learning and Branch and Bound for MaxSAT
- article
- 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 2021, Montpellier (Online), Best Paper Award, France. ⟨10.4230/LIPIcs.CP.2021.38⟩
- identifiant
- hal-03409895
- Accès au texte intégral et bibtex
-
- auteur
- Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
- titre
- From Non-Clausal to Clausal MinSAT
- article
- Artificial Intelligence Research and Development, 2021, Online (Guadalajara), Spain. pp.27-36, ⟨10.3233/FAIA210113⟩
- identifiant
- hal-04322254
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- auteur
- Chu Min Li, Felip Manyà
- titre
- Chapter 23. MaxSAT, Hard and Soft Constraints
- article
- Handbook of Satisfiability, IOS Press, 2021, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA201007⟩
- identifiant
- hal-04321437
- Accès au bibtex
-
Ouvrages
- auteur
- Chu-Min Li, Felip Manyà
- titre
- Theory and Applications of Satisfiability Testing – SAT 2021
- article
- Springer International Publishing, 12831, 2021, Lecture Notes in Computer Science, 978-3-030-80222-6. ⟨10.1007/978-3-030-80223-3⟩
- identifiant
- hal-04322117
- Accès au bibtex
-
2020
Article dans une revue
- auteur
- Christian Blum, Marko Djukanovic, Alberto Santini, Hua Jiang, Chu-Min Li, Felip Manyà, Günter R Raidl
- titre
- Solving longest common subsequence problems via a transformation to the maximum clique problem
- article
- Computers and Operations Research, 2020, 125, pp.105089. ⟨10.1016/j.cor.2020.105089⟩
- identifiant
- hal-04320616
- Accès au bibtex
-
- auteur
- Xiaolu Liu, Yuan Fang, Jiaming Chen, Zhouxing Su, Chumin Li, Zhipeng Lu
- titre
- Effective Approaches to Solve P-Center Problem via Set Covering and SAT
- article
- IEEE Access, 2020, 8, pp.161232 - 161244. ⟨10.1109/access.2020.3018618⟩
- identifiant
- hal-04320604
- Accès au texte intégral et bibtex
-
- auteur
- Xiaolu Liu, Yuan Fang, Jiaming Chen, Zhouxing Su, Chumin Li, Zhipeng Lu
- titre
- Effective Approaches to Solve P-Center Problem via Set Covering and SAT
- article
- IEEE Access, 2020, 8, pp.161232-161244. ⟨10.1109/ACCESS.2020.3018618⟩
- identifiant
- hal-03636417
- Accès au bibtex
-
- auteur
- Jun Wu, Chu-Min Li, Lu Jiang, Junping Zhou, Minghao Yin
- titre
- Local search for diversified Top-k clique search problem
- article
- Computers and Operations Research, 2020, 116, ⟨10.1016/j.cor.2019.104867⟩
- identifiant
- hal-03636414
- Accès au bibtex
-
- auteur
- Chu-Min Li, Fan Xiao, Mao Luo, Felip Manya, Zhipeng Lu, Yu Li
- titre
- Clause vivification by unit propagation in CDCL SAT solvers
- article
- Artificial Intelligence, 2020, 279, ⟨10.1016/j.artint.2019.103197⟩
- identifiant
- hal-03636415
- Accès au bibtex
-
Communication dans un congrès
- auteur
- Chu Min Li, Felip Manya, Amanda Vidal
- titre
- Tableaux for Maximum Satisfiability in Lukasiewicz Logic
- article
- 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩
- identifiant
- hal-03636416
- Accès au bibtex
-
- auteur
- Chu Min Li, Felip Manya, Amanda Vidal
- titre
- Tableaux for Maximum Satisfiability in Łukasiewicz Logic
- article
- 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩
- identifiant
- hal-04322045
- Accès au bibtex
-
- auteur
- Weibo Lin, Fuda Ma, Zhouxing Su, Qingyun Zhang, Chumin Li, Zhipeng Lü
- titre
- Weighting-based parallel local search for optimal camera placement and unicost set covering
- article
- GECCO '20: Genetic and Evolutionary Computation Conference, Jul 2020, Cancún Mexico, Mexico. pp.3-4, ⟨10.1145/3377929.3398184⟩
- identifiant
- hal-04322034
- Accès au bibtex
-
- auteur
- Yanli Liu, Chu-Min Li, Hua Jiang, Kun He
- titre
- A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems
- article
- THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2020, New-York, United States. pp.2392-2399
- identifiant
- hal-03636418
- Accès au bibtex
-
- auteur
- Yanli Liu, Chu-Min Li, Hua Jiang
- titre
- A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems
- article
- The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), Feb 2020, New York, United States. pp.2392-2399
- identifiant
- hal-04322004
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- auteur
- Jun Wu, Chu-Min Li, Lu Jiang, Junping Zhou, Minghao Yin
- titre
- Local search for diversified Top-k clique search problem
- article
- Computers and Operations Research, 2019, 116, pp.1-9. ⟨10.1016/j.cor.2019.104867⟩
- identifiant
- hal-04320591
- Accès au bibtex
-
- auteur
- Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
- titre
- Clause vivification by unit propagation in CDCL SAT solvers
- article
- Artificial Intelligence, 2019, 279, pp.1-23. ⟨10.1016/j.artint.2019.103197⟩
- identifiant
- hal-04320584
- Accès au bibtex
-
- auteur
- Hua Jiang, Corinne Lucet, Laure Brisoux Devendeville, Chu Min Li
- titre
- An Effective Variable Neighborhood Search with Perturbation for Location-Routing Problem
- article
- International Journal on Artificial Intelligence Tools, 2019, 28 (07), pp.1950024. ⟨10.1142/S0218213019500246⟩
- identifiant
- hal-03172607
- Accès au bibtex
-
- auteur
- Chu-Min Li, Fan Xiao, Felip Manyà
- titre
- A resolution calculus for MinSAT
- article
- Logic Journal of the IGPL, 2019, 29, pp.28 - 44. ⟨10.1093/jigpal/jzz028⟩
- identifiant
- hal-04320692
- Accès au bibtex
-
- auteur
- Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
- titre
- Clause tableaux for maximum and minimum satisfiability
- article
- Logic Journal of the IGPL, 2019, 29, pp.7 - 27. ⟨10.1093/jigpal/jzz025⟩
- identifiant
- hal-04320635
- Accès au texte intégral et bibtex
-
- auteur
- Fan Xiao, Chu-Min Li, Mao Luo, Felip Manya, Zhipeng Lu, Yu Li
- titre
- A branching heuristic for SAT solvers based on complete implication graphs
- article
- Science China Information Sciences, 2019, 62 (7), ⟨10.1007/s11432-017-9467-7⟩
- identifiant
- hal-03636419
- Accès au bibtex
-
- auteur
- Zhenxing Xu, Kun He, Chu-Min Li
- titre
- An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem
- article
- Computers and Operations Research, 2019, 104, pp.49-58. ⟨10.1016/j.cor.2018.12.005⟩
- identifiant
- hal-03636420
- Accès au bibtex
-
Communication dans un congrès
- auteur
- Chu Min Li, Felip Manya, Joan Ramon Soler
- titre
- A Tableau Calculus for Non-clausal Maximum Satisfiability
- article
- AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, Sep 2019, London, United Kingdom. pp.58-73, ⟨10.1007/978-3-030-29026-9\_4⟩
- identifiant
- hal-03636422
- Accès au bibtex
-
- auteur
- Chu Min Li, Felip Manya, Joan Ramon Soler
- titre
- Clausal Form Transformation in MaxSAT
- article
- 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), May 2019, Fredericton NB, Canada. pp.132-137, ⟨10.1109/ISMVL.2019.00031⟩
- identifiant
- hal-04321890
- Accès au bibtex
-
- auteur
- Junwen Ding, Zhipeng Lu, Chu-Min Li, Liji Shen, Liping Xu, Fred Glover
- titre
- A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
- article
- THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2019, Honolulu, United States. pp.2262-2271
- identifiant
- hal-03636421
- Accès au bibtex
-
- auteur
- Hua Jiang, Corinne Lucet, Laure Brisoux Devendeville, Chumin Li
- titre
- An effective variable neighborhood search with perturbation for location-routing problem
- article
- 20ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'19), Feb 2019, Le Havre, France
- identifiant
- hal-03172594
- Accès au bibtex
-
- auteur
- Junwen Ding, Chu-Min Li, Liji Shen, Liping Xu, Fred Glover
- titre
- A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
- article
- Proceedings of the AAAI Conference on Artificial Intelligence, Jan 2019, Honolulu, Hawaii, United States. pp.2262-2271
- identifiant
- hal-04321932
- Accès au bibtex
-
- auteur
- J. Ding, Z. Lü, Chu-Min Li, L. Shen, L. Xu, F. Glover
- titre
- A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
- article
- 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, Jan 2019, Honolulu, Hawaï, United States. pp.2262--2271
- identifiant
- hal-03698916
- Accès au bibtex
-
- auteur
- J. Ding, Z. Lü, Chu-Min Li, L. Shen, L. Xu, F. Glover
- titre
- A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
- article
- 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, Jan 2019, Honolulu, Hawaï, United States. pp.2262--2271
- identifiant
- hal-03698903
- Accès au bibtex
-
- auteur
- Chu Min Li, Felip Manyà, Joan Ramon Soler
- titre
- A Tableau Calculus for Non-clausal Maximum Satisfiability
- article
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2019), 2019, Londre, United Kingdom. pp.58-73, ⟨10.1007/978-3-030-29026-9_4⟩
- identifiant
- hal-04321979
- Accès au bibtex
-
