Shaowei Cai

10 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×2 IJCAI ×2 AAAI ×1 ASE ×1 CP ×1 ICSE ×1 PPSN ×1 SIGKDD ×1

Frequent coauthors

Xindi Zhang

×3

Furong Ye

×3

Mengchuan Zou

×3

Peng Lin

×3

Zhihan Chen

×2

Chuan Luo

×2

Xiang He

×2

Bohan Li

×2

Yi Chu

×1

Shiwei Pan

×1

Yiyuan Wang

×1

Shengqi Chen

×1

Papers

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
FM 2026 ·
Xindi Zhang
,
Furong Ye
,
Zhihan Chen
, Shaowei Cai
Parallel Local Search for MaxSAT with Solutions and Score Functions Co-evolving
PPSN 2026 ·
Mengchuan Zou
,
Peng Lin
,
Yi Chu
, Shaowei Cai
An Efficient Core-Guided Solver for Weighted Partial MaxSAT
IJCAI 2025 ·
Shiwei Pan
,
Yiyuan Wang
, Shaowei Cai
Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis
AAAI 2025 ·
Furong Ye
,
Chuan Luo
, Shaowei Cai
Parallel MIP Solving with Dynamic Task Decomposition
CP 2025 ·
Peng Lin
, Shaowei Cai,
Mengchuan Zou
,
Shengqi Chen
SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization
ASE 2025 ·
Chuan Luo
,
Shaoke Cui
,
Jianping Song
,
Xindi Zhang
,
Wei Wu
,
Chanjuan Liu
, Shaowei Cai,
Chunming Hu
A Local Search Algorithm for MaxSMT(LIA)
FM 2024 ·
Xiang He
,
Bohan Li
,
Mengyu Zhao
, Shaowei Cai
Bi-Objective Contract Allocation for Guaranteed Delivery Advertising
SIGKDD 2024 ·
Yan Li
,
Yundu Huang
,
Wuyang Mao
,
Furong Ye
,
Xiang He
,
Zhonglin Zu
, Shaowei Cai
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
ICSE 2024 ·
Xindi Zhang
,
Bohan Li
, Shaowei Cai
ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism
IJCAI 2024 ·
Peng Lin
,
Mengchuan Zou
,
Zhihan Chen
, Shaowei Cai