An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem
Fang, Zhiwen, Li, Chu-Min, Xu, Ke
Published in The Journal of artificial intelligence research (01.01.2016)
Published in The Journal of artificial intelligence research (01.01.2016)
Get full text
Journal Article
Clause vivification by unit propagation in CDCL SAT solvers
Li, Chu-Min, Xiao, Fan, Luo, Mao, Manyà, Felip, Lü, Zhipeng, Li, Yu
Published in Artificial intelligence (01.02.2020)
Published in Artificial intelligence (01.02.2020)
Get full text
Journal Article
Clustering Driven Iterated Hybrid Search for Vertex Bisection Minimization
Jin, Yan, Xiong, Bowen, He, Kun, Hao, Jin-Kao, Li, Chu-Min, Fu, Zhang-Hua
Published in IEEE transactions on computers (01.10.2022)
Published in IEEE transactions on computers (01.10.2022)
Get full text
Journal Article
Incremental Upper Bound for the Maximum Clique Problem
Li, Chu-Min, Fang, Zhiwen, Jiang, Hua, Xu, Ke
Published in INFORMS journal on computing (01.01.2018)
Published in INFORMS journal on computing (01.01.2018)
Get full text
Journal Article
Boosting branch-and-bound MaxSAT solvers with clause learning
Li, Chu-Min, Xu, Zhenxing, Coll, Jordi, Manyà, Felip, Habet, Djamal, He, Kun
Published in Ai communications (01.01.2022)
Published in Ai communications (01.01.2022)
Get full text
Journal Article
Geometric batch optimization for packing equal circles in a circle on large scale
Zhou, Jianrong, He, Kun, Zheng, Jiongzhi, Li, Chu-Min
Published in Expert systems with applications (15.09.2024)
Published in Expert systems with applications (15.09.2024)
Get full text
Journal Article
An efficient solution space exploring and descent method for packing equal spheres in a sphere
Zhou, Jianrong, Ren, Shuo, He, Kun, Liu, Yanli, Li, Chu-Min
Published in Computers & operations research (01.04.2024)
Published in Computers & operations research (01.04.2024)
Get full text
Journal Article
Reinforced Lin–Kernighan–Helsgaun algorithms for the traveling salesman problems
Zheng, Jiongzhi, He, Kun, Zhou, Jianrong, Jin, Yan, Li, Chu-Min
Published in Knowledge-based systems (25.01.2023)
Published in Knowledge-based systems (25.01.2023)
Get full text
Journal Article
On solving simplified diversified top- k s -plex problem
Wu, Jun, Li, Chu-Min, Wang, Luzhi, Hu, Shuli, Zhao, Peng, Yin, Minghao
Published in Computers & operations research (01.05.2023)
Published in Computers & operations research (01.05.2023)
Get full text
Journal Article
Local search for diversified Top-k clique search problem
Wu, Jun, Li, Chu-Min, Jiang, Lu, Zhou, Junping, Yin, Minghao
Published in Computers & operations research (01.04.2020)
Published in Computers & operations research (01.04.2020)
Get full text
Journal Article
MaxSAT resolution for regular propositional logic
Coll, Jordi, Li, Chu-Min, Manyà, Felip, Yangin, Elifnaz
Published in International journal of approximate reasoning (01.11.2023)
Published in International journal of approximate reasoning (01.11.2023)
Get full text
Journal Article
A new upper bound for the maximum weight clique problem
Li, Chu-Min, Liu, Yanli, Jiang, Hua, Manyà, Felip, Li, Yu
Published in European journal of operational research (01.10.2018)
Published in European journal of operational research (01.10.2018)
Get full text
Journal Article
Prokaryotic Community Structure Driven by Salinity and Ionic Concentrations in Plateau Lakes of the Tibetan Plateau
Zhong, Zhi-Ping, Liu, Ying, Miao, Li-Li, Wang, Fang, Chu, Li-Min, Wang, Jia-Li, Liu, Zhi-Pei
Published in Applied and environmental microbiology (01.03.2016)
Published in Applied and environmental microbiology (01.03.2016)
Get full text
Journal Article
Parallel Bounded Search for the Maximum Clique Problem
Jiang, Hua, Bai, Ke, Liu, Hai-Jiao, Li, Chu-Min, Manyà, Felip, Fu, Zhang-Hua
Published in Journal of computer science and technology (01.09.2023)
Published in Journal of computer science and technology (01.09.2023)
Get full text
Journal Article
Optimizing with minimum satisfiability
Li, Chu Min, Zhu, Zhu, Manyà, Felip, Simon, Laurent
Published in Artificial intelligence (01.10.2012)
Published in Artificial intelligence (01.10.2012)
Get full text
Journal Article
An exact algorithm with learning for the graph coloring problem
Zhou, Zhaoyang, Li, Chu-Min, Huang, Chong, Xu, Ruchu
Published in Computers & operations research (01.11.2014)
Published in Computers & operations research (01.11.2014)
Get full text
Journal Article