Dian Ling
Incoming Ph.D Student
CRIL
Research Interests
About
I am Dian Ling (凌典), an incoming Ph.D student at CRIL in Université d’Artois, supervised by Dr.Markus Hecher, Prof. Stefan Mengel and Prof. Jean-Marie Lagniez.
Previously, 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 SAT, SMT(BV), Parallel Computing 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 published in the IJCAI 2026 proceedings.
Selected Publications
View All →Towards Cardinality-Aware Local Search for SAT with Cardinality Constraints
Shuli Hu, Dian Ling, Jiaqi Li, Minghao Yin†
IJCAI@2026
Main Track
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
I attend the CP Summer School in Changchun. ✈️
I have completed my Master's Thesis Defense, now I become a Master. 😆
Our paper on large neighborhood search for weighted total dominating set problem on massive graphs was accepted by KBS. 🥳
Our paper on using local search for SAT with cardinality constraints was accepted by IJCAI 2026. 🥳
I just graduated from Northeast Normal University as an outstanding graduate student.
I will start pursuing a master degree in Computer Science at Northeast Normal University.
I went to Institute of Computing Technology, Chinese Academy of Sciences as a visiting student.
I started to build blog to record my thoughts and LIFE