Xindi Zhang

Latest

• Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
• A Fast Local Search Algorithm for Minimum Sum Coloring Problem on Massive Graphs
• A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver
• Revisiting Restarts of CDCL: Should the Search Information be Preserved?
• Local Search For Satisfiability Modulo Integer Arithmetic Theories
• 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