127 citations · 203 across the 11 of their papers we have counts for
12 papers
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
Furong Ye, Chuan Luo, Shaowei Cai
Though numerous solvers have been proposed for the MaxSAT problem, and the benchmark environment such as MaxSAT Evaluations provides a platform for the comparison of the state-of-t…
New Characterizations and Efficient Local Search for General Integer Linear Programming
Peng Lin, Shaowei Cai, Mengchuan Zou +1
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes…
LANDMARK: Language-guided Representation Enhancement Framework for Scene Graph Generation
Xiaoguang Chang, Teng Wang, Shaowei Cai +1
Scene graph generation (SGG) is a sophisticated task that suffers from both complex visual features and dataset long-tail problem. Recently, various unbiased strategies have been p…
Local Search For SMT On Linear and Multilinear Real Arithmetic
Bohan Li, Shaowei Cai
Satisfiability Modulo Theories (SMT) has significant application in various domains. In this paper, we focus on quantifier-free Satisfiablity Modulo Real Arithmetic, referred to as…
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Pengfei Yang, Zhiming Chi, Zongxin Liu +4
Constraint solving is an elementary way for verification of deep neural networks (DNN). In the domain of AI safety, a DNN might be modified in its structure and parameters for its…
Local Search For Satisfiability Modulo Integer Arithmetic Theories
Shaowei Cai, Bohan Li, Xindi Zhang
Satisfiability Modulo Theories (SMT) refers to the problem of deciding the satisfiability of a formula with respect to certain background first order theories. In this paper, we fo…