Conf

Local Search for Integer Quadratic Programming
PDF DOI
NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem
PDF DOI
OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach
PDF DOI
ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism
PDF DOI
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
PDF DOI
PathLAD+: Towards effective exact methods for subgraph isomorphism problem
PDF DOI
Revisiting Restarts of CDCL: Should the Search Information be Preserved?
PDF DOI
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
PDF DOI
Generating Pairwise Covering Arrays for Highly Configurable Software Systems
PDF DOI
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Artif. Intell. 314: 103819 (2023)
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization
Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking
PDF DOI
Local Search For Satisfiability Modulo Integer Arithmetic Theories
PDF DOI
Local Search For SMT On Linear and Multi-linear Real Arithmetic
PDF DOI
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques
PDF DOI
On EDA-Driven Learning for SAT Solving
PDF DOI
PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem
PDF DOI
Towards more efficient local search algorithms for constrained clustering Inf. Sci. 621: 287-307 (2023)
PDF DOI
Better Decision Heuristics in CDCL through Local Search and Target Phases J. Artif. Intell. Res. 74: 1515-1563 (2022)
PDF DOI
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) 2022: 5274-5278
PDF DOI