Conf

Distributed SMT Solving Based on Dynamic Variable-Level Partitioning

Mengyu Zhao, Shaowei Cai, Yuhang Qian

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory

Xindi Zhang, Bohan Li, Shaowei Cai

A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver

Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li

A Local Search Algorithm for MaxSMT (LIA)

Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai

An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints

Xiang He, Wuyang Mao, Zhenghang Xu, Yuanzhe Gu, Yundu Huang, Zhonglin Zu, Liang Wang, Mengyu Zhao, Mengchuan Zou

An Efficient Local Search Solver for Mixed Integer Programming

Peng Lin, Mengchuan Zou, Shaowei Cai

Bi-Objective Contract Allocation for Guaranteed Delivery Advertising

Yan Li, Yundu Huang, Wuyang Mao, Furong Ye, Xiang He, Zhonglin Zu, Shaowei Cai

Efficient Local Search for Nonlinear Real Arithmetic

Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai

Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme

Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai

ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism

Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization

Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai

Local Search For SMT On Linear and Multi-linear Real Arithmetic

Bohan Li, Shaowei Cai

NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques

Yi Chu, Shaowei Cai, Chuan Luo

Towards More Efficient Local Search for Pseudo-Boolean Optimization

Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng

Local Search for SMT on Linear Integer Arithmetic

Shaowei Cai, Bohan Li, Xindi Zhang

Deep Cooperation of CDCL and Local Search for SAT

Shaowei Cai, Xindi Zhang

Improving CDCL via Local Search

Xindi Zhang, Shaowei Cai, Zhihan Chen

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang

Nucds: An Efficient Local Search Algorithm for Minimum Connected Dominating Set

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

YicesLS on SMT COMP2021

Shaowei Cai, Bohan Li, Xindi Zhang