Chu-Min Li | IJCAI

MIS UR 4290 , Université de Picardie Jules Verne , Amiens , France; LIS , Aix Marseille Université , Marseille , France

15 papers in the IJCAI proceedings

IJCAI 2026

Bridging LLMs and SAT Solving: Automated Evolution of High-Performance Heuristics

with Mao Luo, Hang Ding, Junjie Zhang, Zhiwei Ye, Zhipeng Lü, Caiquan Xiong, Xinyun Wu

doi:10.24963/ijcai.2026/257

Details PDF

ULE-MWC: An UnLocking-Enhanced Lookahead Framework for Exact Maximum Weight Clique Search

with Mingming Jin, Kun He

doi:10.24963/ijcai.2026/252

Details PDF

Weight-Aware Branch-and-Bound for Weighted Maximum Satisfiability

with Jialu Zhang, Sami Cherif, Shuolin Li

doi:10.24963/ijcai.2026/270

Details PDF

IJCAI 2024

A Swap Relaxation-Based Local Search for the Latin Square Completion Problem

with Zhenxuan Xie, Zhipeng Lü, Zhouxing Su, Junwen Ding, Yuxuan Wang

doi:10.24963/ijcai.2024/779

Details PDF

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers

with Jiongzhi Zheng, Zhuo Chen, Kun He

doi:10.24963/ijcai.2024/220

Details PDF

IJCAI 2023

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers

with Shuolin Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà

doi:10.24963/ijcai.2023/220

Details PDF

IJCAI 2022

A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem

with Jianrong Zhou, Kun He, Jiongzhi Zheng, Yanli Liu

doi:10.24963/ijcai.2022/265

Details PDF

BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit

with Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Felip Manyà

doi:10.24963/ijcai.2022/264

Details PDF

Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)

with Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

doi:10.24963/ijcai.2022/739

Details PDF

HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem

with Jun Wu, Yupeng Zhou, Minghao Yin, Xin Xu, Dangdang Niu

doi:10.24963/ijcai.2022/668

Details PDF

IJCAI 2017

An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers

with Mao Luo, Fan Xiao, Felip Manyà, Zhipeng Lü

doi:10.24963/ijcai.2017/98

Details PDF

IJCAI 2016

A Clause Tableau Calculus for MaxSAT

with Felip Manyà, Joan Ramon Soler

Details PDF

IJCAI 2015

An Exact Inference Scheme for MinSAT

with Felip Manyà

Details PDF

IJCAI 2011

Minimum Satisfiability and Its Applications

with Zhu Zhu, Felip Manyà, Laurent Simon

doi:10.5591/978-1-57735-516-8/IJCAI11-108

Details PDF

IJCAI 1997

Heuristics Based on Unit Propagation for Satisfiability Problems

with Anbulagan

Details PDF