Haochen Zhang

Latest

• An efficient local search algorithm for the winner determination problem J. Heuristics 23(5): 367-396 (2017)
• From Decimation to Local Search and Back: A New Approach to MaxSAT 2017: 571-577