Conf

A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow
PDF DOI
Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis
PDF DOI
Leveraging Critical Proof Obligations for Efficient IC3 Verification
Optimizing local search-based partial MaxSAT solving via initial assignment prediction
PDF DOI
Parallel MIP Solving with Dynamic Task Decomposition
DOI
X-SAT: An Efficient Circuit-Based SAT Solver
PDF DOI
A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver
A Local Search Algorithm for MaxSMT(LIA)
PDF DOI
A local search approach to protocol verification
PDF DOI
An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints
PDF DOI
An Efficient Local Search Solver for Mixed Integer Programming
PDF DOI
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
PDF DOI
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
PDF DOI
Bi-Objective Contract Allocation for Guaranteed Delivery Advertising
PDF DOI
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
PDF DOI
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning
PDF DOI
Efficient Local Search for Nonlinear Real Arithmetic
PDF DOI
Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme
PDF DOI
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
PDF DOI
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem
PDF DOI