PPaperPicks

Chu-Min Li

7 papers at tracked venues · 2 at CORE A* · active 2024–2026

Venues

Frequent coauthors

Sami Cherif
×2
Shuolin Li
×2
Zhipeng Lü
×2
Zhouxing Su
×2
Jiongzhi Zheng
×2
Kun He
×2
Jialu Zhang
×1
Jinghu Liang
×1
Jordi Coll
×1
Djamal Habet
×1
Felip Manyà
×1
Zhenxuan Xie
×1

Papers

  1. Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
    CP 2026 ·
    Jialu Zhang
    , Chu-Min Li,
    Sami Cherif
    ,
    Shuolin Li
  2. Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT
    CP 2026 ·
    Jinghu Liang
    ,
    Sami Cherif
    , Chu-Min Li
  3. Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT
    AAAI 2025 ·
    Shuolin Li
    , Chu-Min Li,
    Jordi Coll
    ,
    Djamal Habet
    ,
    Felip Manyà
  4. A Swap Relaxation-Based Local Search for the Latin Square Completion Problem
    IJCAI 2024 ·
    Zhenxuan Xie
    ,
    Zhipeng Lü
    ,
    Zhouxing Su
    , Chu-Min Li,
    Junwen Ding
    ,
    Yuxuan Wang
  5. DiverTEAM: An Effective Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems
    ECAI 2024 ·
    Jinghui Xue
    ,
    Jiongzhi Zheng
    ,
    Kun He
    , Chu-Min Li,
    Yanli Liu
  6. Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
    IJCAI 2024 ·
    Jiongzhi Zheng
    ,
    Zhuo Chen
    , Chu-Min Li,
    Kun He
  7. Threshold-Based Responsive Simulated Annealing for Directed Feedback Vertex Set Problem
    AAAI 2024 ·
    Qingyun Zhang
    ,
    Yuming Du
    ,
    Zhouxing Su
    , Chu-Min Li,
    Junzhou Xu
    ,
    Zhihuai Chen
    ,
    Zhipeng Lü