Chu Min LI

Professeur des Universités

Equipe Graphes, Optimisation et Contraintes - GOC
Bureau 313
Téléphone : 5910

 

Publications - Liste HAL (5 dernières années)

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
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
https://arxiv.org/pdf/2305.10023 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
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
https://hal.science/hal-04699557/file/LIPIcs.CP.2024.34.pdf 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
https://hal.science/hal-04701887/file/04x02.pdf 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
https://hal.science/hal-04701879/file/04x03.pdf 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
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
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
https://hal.science/hal-04321549/file/1-s2.0-S0888613X2300141X-main.pdf 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
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
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
https://arxiv.org/pdf/2207.03876 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
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
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
https://hal.science/hal-04145361/file/A_New_Variable_Ordering_for_In_processing_Bounded_Variable_Elimination_in_SAT_Solvers.pdf 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
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
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
https://hal.science/hal-04145340/file/AAAI2023MCS.pdf 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
https://arxiv.org/pdf/2211.16011 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
https://arxiv.org/pdf/2303.02650 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
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
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
https://hal.science/hal-04320703/file/IEEEComputers2021.pdf 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
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
https://amu.hal.science/hal-03775319/file/0739.pdf 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
https://u-picardie.hal.science/hal-04525626/file/2201.06252.pdf 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
https://u-picardie.hal.science/hal-04525613/file/2201.05544.pdf 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
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
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
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
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
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
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
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
https://hal.science/hal-04322089/file/LIPIcs.CP.2021.38.pdf 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
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
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
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
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
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
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
https://hal.science/hal-03409895/file/LIPIcs-CP-2021-38.pdf 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
https://hal.science/hal-04322254/file/FAIA-339-FAIA210113.pdf 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
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
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
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
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
https://arxiv.org/pdf/1807.11061 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
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
https://hal.science/hal-04320604/file/Effective_Approaches_to_Solve_P-Center_Problem_via_Set_Covering_and_SAT.pdf 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
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
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
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
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
https://hal.science/hal-04322004/file/5619-Article%20Text-8844-1-10-20200512.pdf 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
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
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
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
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
https://hal.science/hal-04320635/file/clauseTableauxIGPL.pdf 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
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
https://arxiv.org/pdf/1808.03611 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
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
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
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
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
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
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
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
BibTex

UPJV