Xindi Zhang

最新

• A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow
• Leveraging Critical Proof Obligations for Efficient IC3 Verification
• X-SAT: An Efficient Circuit-Based SAT Solver
• A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver
• Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
• Revisiting Restarts of CDCL: Should the Search Information be Preserved?
• Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking
• Local Search For Satisfiability Modulo Integer Arithmetic Theories
• Better Decision Heuristics in CDCL through Local Search and Target Phases J. Artif. Intell. Res. 74: 1515-1563 (2022)
• Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) 2022: 5274-5278
• Local Search For Satisfiability Modulo Integer Arithmetic Theories (2022)
• 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. J. Artif. Intell. Res. 71: 89-119 (2021)
• Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP 2021: 5:1-5:10
• NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2020: 1503-1510
• Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020: 90-106