Shaowei Cai
30 papers · 2013–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 ↓+9 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (18) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π€
Dynamic Duo
(10)
π
Keyword Champion
(16)
π¬
Deep Specialist
(21)
π
Conference Pioneer
π₯
Unstoppable Β· Silver
β
The Questioner
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(94)
Venues
Top co-authors
Research topics
Mathematics & Optimization
(22)
Optimization
(22)
Computer Science
(12)
Foundations
(12)
Machine Learning
(11)
Optimization & Theory Β· Machine Learning
(9)
Mathematics
(4)
Deep Learning
(3)
Core Methods
(2)
Learning Types Β· Machine Learning
(2)
Architectures
(1)
Learning Types Β· Deep Learning
(1)
Optimization & Theory Β· Deep Learning
(1)
Keywords
local search
(16)
combinatorial optimization
(13)
configuration checking
(7)
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
An Efficient Core-Guided Solver for Weighted Partial MaxSAT
IJCAI 2025
Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis
AAAI 2025
ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism
IJCAI 2024
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques
AAAI 2023
PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem
IJCAI 2023
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)
IJCAI 2022
Improving Local Search Algorithms via Probabilistic Configuration Checking
AAAI 2022
NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem
AAAI 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
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints
IJCAI 2020
Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem
AAAI 2020
NLocalSAT: Boosting Local Search with Solution Prediction
IJCAI 2020
NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set
IJCAI 2020
Reduction and Local Search for Weighted Graph Coloring Problem
AAAI 2020
Solving Set Cover and Dominating Set via Maximum Satisfiability
AAAI 2020
Two-goal Local Search and Inference Rules for Minimum 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
A Reduction based Method for Coloring Very Large Graphs
IJCAI 2017
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
IJCAI 2017
From Decimation to Local Search and Back: A New Approach to MaxSAT
IJCAI 2017
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)
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