Heavy Weighting for Potential Important Clauses. - Hanyi Yu; Menghua Jiang 001; Yin Chen (KSEM (3), 2023)

RASLite: Enhancing (W)PMS Solvers Through Dynamic Initial Weight Approach. - Menghua Jiang 001; Yin Chen (CSCWD, 2024)

Improving Local Search for Weighted Partial MaxSAT by Initializing with Historical Information. - Menghua Jiang 001; Rui Zhang; Yin Chen (COCOON (1), 2025)

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting. - Menghua Jiang 001; Haokai Gao; Shuhao Chen; Yin Chen (ECAI, 2025)

SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses. - Shuhao Chen; Menghua Jiang 001; Yin Chen (TASE, 2025)