Shaowei Cai
30 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
🐝 Cross-Pollinator (10) 🏃 Academic Marathon (12) 🌍 Conference Polyglot (2) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge
🐝
Cross-Pollinator
(10)
🌍
Conference Polyglot
(2)
🤝
Dynamic Duo
(10)
🔬
Deep Specialist
(20)
🏆
Keyword Champion
(4)
🗃️
Keyword Collector
(92)
🚀
Conference Pioneer
⚡
Prolific Year
(7)
❓
The Questioner
🔥
Unstoppable
(11)
💎
Century Club
(30)
Conferences
IJCAI (19)
AAAI (11)
Top co-authors
Keywords
local search
(15)
combinatorial optimization
(12)
configuration checking
(6)
graph algorithm
(4)
stochastic local search
(4)
weighted partial maxsat
(3)
maximum satisfiability
(3)
heuristic search
(2)
graph optimization
(2)
clause weighting
(2)
neural network
(2)
dominating set
(2)
heuristic algorithm
(2)
local search algorithm
(2)
np-hard problem
(2)
maxsat solver
(2)
exact algorithm
(1)
set cover
(1)
integer linear programming
(1)
constraint optimization
(1)
Papers
Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis
AAAI 2025
An Efficient Core-Guided Solver for Weighted Partial MaxSAT
IJCAI 2025
ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism
IJCAI 2024
PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem
IJCAI 2023
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques
AAAI 2023
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023
Improving Local Search Algorithms via Probabilistic Configuration Checking
AAAI 2022
NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem
AAAI 2022
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)
IJCAI 2022
Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems
AAAI 2021
NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem
AAAI 2021
PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector
AAAI 2021
Solving Set Cover and Dominating Set via Maximum Satisfiability
AAAI 2020
Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem
AAAI 2020
Reduction and Local Search for Weighted Graph Coloring Problem
AAAI 2020
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints
IJCAI 2020
NLocalSAT: Boosting Local Search with Solution Prediction
IJCAI 2020
Two-goal Local Search and Inference Rules for Minimum Dominating Set
IJCAI 2020
NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set
IJCAI 2020
Local Search with Efficient Automatic Configuration for Minimum Vertex Cover
IJCAI 2019
A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs
IJCAI 2018
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies
IJCAI 2018
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT
IJCAI 2018
From Decimation to Local Search and Back: A New Approach to MaxSAT
IJCAI 2017
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
IJCAI 2017
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)
IJCAI 2017
A Reduction based Method for Coloring Very Large Graphs
IJCAI 2017
Fast Solving Maximum Weight Clique Problem in Massive Graphs
IJCAI 2016
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs
IJCAI 2015
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses
IJCAI 2013