Shaowei Cai

Latest

• Distributed SMT Solving Based on Dynamic Variable-Level Partitioning
• Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
• A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver
• A Local Search Algorithm for MaxSMT (LIA)
• A Local Search Algorithm for MaxSMT(LIA)
• A local search approach to protocol verification
• An Efficient Local Search Solver for Mixed Integer Programming
• AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
• Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
• Bi-Objective Contract Allocation for Guaranteed Delivery Advertising
• Efficient Local Search for Nonlinear Real Arithmetic
• Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme
• Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
• Improving two-mode algorithm via probabilistic selection for solving satisfiability problem
• NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem
• ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism
• ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
• PathLAD+: Towards effective exact methods for subgraph isomorphism problem
• Revisiting Restarts of CDCL: Should the Search Information be Preserved?
• Local Search For Satisfiability Modulo Integer Arithmetic Theories
• Local Search For SMT On Linear and Multi-linear Real Arithmetic
• NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques
• Towards More Efficient Local Search for Pseudo-Boolean Optimization
• Local Search for SMT on Linear Integer Arithmetic
• Deep Cooperation of CDCL and Local Search for SAT
• Efficient Local Search Based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set
• Improving CDCL via Local Search
• Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization
• Nucds: An Efficient Local Search Algorithm for Minimum Connected Dominating Set
• YicesLS on SMT COMP2021
• Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search
• Relaxed Backtracking with Rephasing