Zhihan Chen

最新

• X-SAT: An Efficient Circuit-Based SAT Solver
• 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
• Revisiting Restarts of CDCL: Should the Search Information be Preserved?
• Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking