Menghua Jiang (55555555)

alt text

Master's student
School of Computer Science, South China Normal University, Guangzhou, China

Research Interests: Constraint Solving, Maximum Satisfiability (MaxSAT)

E-mail: jiangmenghua@foxmail.com

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 at Anytime Tracks Unweighted Group, MaxSAT Evaluation 2024

  • Third place at Anytime Tracks Weighted Group, MaxSAT Evaluation 2024

  • ...

Projects

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

  • ...

Publications

  • 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)