Chu-Min Li
17 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (10) π Renaissance Researcher (6) πΊοΈ Taxonomy Completionist (18)
π£
Hot Topic Early Bird
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π
Century Club
(17)
π
Conference Pioneer
π
Trend Setter
π₯
Unstoppable
(7)
ποΈ
Keyword Collector
(56)
Conferences
IJCAI (10)
AAAI (7)
Top co-authors
Keywords
combinatorial optimization
(12)
local search
(5)
branch and bound
(4)
reinforcement learning
(3)
graph matching
(3)
graph optimization
(2)
simulated annealing
(2)
sat solver
(2)
evolutionary algorithm
(2)
graph isomorphism
(1)
lower bound
(1)
traveling salesman problem
(1)
value function
(1)
conflict-driven clause learning
(1)
multi-armed bandit
(1)
np-hard problem
(1)
search algorithm
(1)
constraint satisfaction
(1)
hybrid algorithm
(1)
stochastic optimization
(1)
Papers
Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT
AAAI 2025
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
IJCAI 2024
A Swap Relaxation-Based Local Search for the Latin Square Completion Problem
IJCAI 2024
Threshold-Based Responsive Simulated Annealing for Directed Feedback Vertex Set Problem
AAAI 2024
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers
IJCAI 2023
Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem
AAAI 2023
HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem
IJCAI 2022
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
IJCAI 2022
A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem
IJCAI 2022
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)
IJCAI 2022
Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem
AAAI 2021
Weighting-based Variable Neighborhood Search for Optimal Camera Placement
AAAI 2021
A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems
AAAI 2020
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
AAAI 2019
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers
IJCAI 2017
A Clause Tableau Calculus for MaxSAT
IJCAI 2016
An Exact Inference Scheme for MinSAT
IJCAI 2015