Shaowei Cai

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Local Search For Satisfiability Modulo Integer Arithmetic Theories	2023-11-03	Paper
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism	2023-01-04	Paper
Improving Simulated Annealing for Clique Partitioning Problems	2022-08-30	Paper
Better Decision Heuristics in CDCL through Local Search and Target Phases	2022-08-30	Paper
Deep cooperation of CDCL and local search for SAT	2022-03-22	Paper
Efficient local search for pseudo Boolean optimization	2022-03-22	Paper
A clique-superposition model for social networks	2021-12-15	Paper
A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs	2021-10-05	Paper
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set	2021-05-25	Paper
Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability	2020-11-16	Paper
Towards faster local search for minimum weight vertex cover on massive graphs	2020-09-22	Paper
New heuristic approaches for maximum balanced biclique problem	2020-07-20	Paper
An efficient local search algorithm for solving maximum edge weight clique problem in large graphs	2020-04-27	Paper
SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem	2020-02-26	Paper
A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation	2020-01-20	Paper
An Automatic Proving Approach to Parameterized Verification	2019-02-07	Paper
Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess	2017-10-24	Paper
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability	2017-05-16	Paper
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function	2017-02-17	Paper
CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability	2017-01-05	Paper
New local search methods for partial MaxSAT	2016-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3455584	2015-12-11	Paper
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability	2015-11-20	Paper
Local search for Boolean satisfiability with configuration checking and subscore	2015-08-27	Paper
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses	2014-11-13	Paper
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover	2013-05-02	Paper
Local search with edge weighting and configuration checking heuristics for minimum vertex cover	2011-11-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shaowei Cai