Journal

A Fast Local Search Algorithm for Minimum Sum Coloring Problem on Massive Graphs

Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang

A Local Search Algorithm for MaxSMT(LIA)

Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai

A local search approach to protocol verification

Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

Yiwen Sun, Furong Ye, Xianyin Zhang, Shiyu Huang, Bingzhen Zhang, Ke Wei, Shaowei Cai

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis

Furong Ye, Chuan Luo, Shaowei Cai

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao

Improving two-mode algorithm via probabilistic selection for solving satisfiability problem

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu

NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem

Chuan Luo, Wenqian Xing, Shaowei Cai, Chunming Hu

PathLAD+: Towards effective exact methods for subgraph isomorphism problem

Yiyuan Wang, Chenghou Jin, Shaowei Cai

Revisiting Restarts of CDCL: Should the Search Information be Preserved?

Xindi Zhang, Zhihan Chen, Shaowei Cai

Local Search For Satisfiability Modulo Integer Arithmetic Theories

Shaowei Cai, Bohan Li, Xindi Zhang

Efficient Local Search Based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

Relaxed Backtracking with Rephasing

Xindi Zhang, Shaowei Cai