Photo Gallery

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