CP2021 (Trailer) "Improving LS for Min. Weighted Connected Dominating Set Prob. by Inner-layer LS" CP2021
CP2021 "Improving Local Search for Structured SAT Formula via Unit Propagation based Initialization" CP2021