Menghua Jiang (蒋梦华)

Master's student School of Computer Science, South China Normal University, Guangzhou, China Research Interests: Constraint Solving, Maximum Satisfiability (MaxSAT) E-mail: jiangmenghua[@]m.scnu.edu.cn

About Me

I am currently a master's student at the School of Computer Science, South China Normal University, Guangzhou, China. My supervisor is Assoc. Prof. Yin Chen (陈寅). I received my bachelor's degree in 2021 from the School of Computer Science and Technology, Soochow University, Suzhou, China.

Honors and Awards

• National Scholarship for Master's Students (硕士研究生国家奖学金) (Top 2%)

• ...

Competitions Awards

• Runner-up in the Unweighted Anytime Track, MaxSAT Evaluation 2024

• Third place in the Weighted Anytime Track, MaxSAT Evaluation 2024

• ...

Projects

• Project supported by the Scientific Research Innovation Project of Graduate School of South China Normal University, Principal Investigator (华南师范大学研究生科研创新计划项目，主持)

• ...

Publications

• Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting [code]
  Menghua Jiang, Haokai Gao, Shuhao Chen, Yin Chen*
  Under Review

• Improving Local Search for Weighted Partial MaxSAT by Initializing with Historical Information [code]
  Menghua Jiang, Rui Zhang, Yin Chen*
  The 31st International Computing and Combinatorics Conference (COCOON 2025)

• SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses
  Shuhao Chen, Menghua Jiang, Yin Chen*
  The 19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025)

• RASLite: Enhancing (W)PMS Solvers Through Dynamic Initial Weight Approach [paper] [code]
  Menghua Jiang, Yin Chen*
  2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2024)

• Heavy Weighting for Potential Important Clauses [paper] [code]
  Hanyi Yu, Menghua Jiang, Yin Chen*
  The 16th International Conference on Knowledge Science, Engineering and Management (KSEM 2023)