Chu-Min Li
17 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (17)
🗃️
Keyword Collector
(56)
📈
Trend Setter
💎
Century Club · Bronze
🔥
Unstoppable · Bronze
🚀
Conference Pioneer
Venues
Top co-authors
Research topics
Mathematics & Optimization
(10)
Optimization
(9)
Machine Learning
(8)
Optimization & Theory
(8)
Computer Science
(6)
Foundations
(6)
Deep Learning
(3)
Reinforcement Learning
(2)
Learning Types · Machine Learning
(2)
Learning Types · Deep Learning
(2)
Mathematics
(2)
Methods
(2)
Artificial Intelligence
(1)
Architectures
(1)
Core AI
(1)
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)
pseudo-boolean constraint
(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
A Swap Relaxation-Based Local Search for the Latin Square Completion Problem
IJCAI 2024
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
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
A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem
IJCAI 2022
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
IJCAI 2022
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)
IJCAI 2022
HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem
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