Zhihan Chen

Latest

• 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?
• Improving CDCL via Local Search