← Authors

Shaowei Cai

30 papers · 2013–2025 · 2 conferences · across top CS/AI conferences

Achievements

πŸƒ Academic Marathon (12) 🐣 Hot Topic Early Bird πŸ—ΊοΈ Taxonomy Completionist (19) πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 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

Chuan Luo (10) Yiyuan Wang (9) Qingwei Lin (6) Jinkun Lin (4) Minghao Yin (4) Kaile Su (3) Shiwei Pan (3) Hongyu Zhang (3) Zhendong Lei (3) Jiejiang Chen (3)

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