Dian Ling

Master Student

Northeast Normal University

Research Interests

About

I received my Master Degree and also my Bachelor Degree at Northeast Normal University (NENU), major in Computer Science, advised by Prof.Minghao Yin and Assoc. Prof.Shuli Hu.

My research interest lies in (Parallel) Automated Reasoning, SAT basically and Heuristic Search.

My master thesis, Research on Algorithms for Cardinality Constraints in Satisfiability Solving, has explored the improvement rooms for local search and exact method to solving the SAT problem with cardinality constraints. The local search paper "Towards Cardinality-Aware Local Search for SAT with Cardinality Constraints" was accepted to IJCAI 2026.

Selected Publications

View All →

Towards Cardinality-Aware Local Search for SAT with Cardinality Constraints

Shuli Hu, Dian Ling, Jiaqi Li, Minghao Yin^†

IJCAI@2026

A Large Neighborhood Search with Deep Optimization for the Weighted Total Domination Problem in Massive Graphs

Shuli Hu, Wen Wen, Dian Ling, Jiaqi Li, Ziqing Liao, Ruizhi Li, Minghao Yin^†

KBS@2026

News

[May 13, 2026]

I have completed my Master's Thesis Defense, now I become a Master. 😆

[May 4, 2026]

Our paper on large neighborhood search for weighted total dominating set problem on massive graphs was accepted by KBS. 🥳

[May 1, 2026]

Our paper on using local search for SAT with cardinality constraints was accepted by IJCAI 2026. 🥳

[June 22, 2024]

I just graduated from Northeast Normal University as an outstanding graduate student.

[Sept. 22, 2023]

I will start pursuing a master degree in Computer Science at Northeast Normal University.

[June 1, 2023]

I went to Institute of Computing Technology, Chinese Academy of Sciences as a visiting student.

[Mar. 7, 2022]

I started to build blog to record my thoughts and LIFE