Publications

A collection of my research work.

Towards Cardinality-Aware Local Search for SAT with Cardinality ConstraintsCCF-BSAT

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

International Joint Conference on Artificial Intelligence '2026

Code

A Large Neighborhood Search with Deep Optimization for the Weighted Total Domination Problem in Massive GraphsCCF-CCombination & Optimization Problem

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

Knowledge-Based Systems '2026

Volume , Issue , Pages 116140

DOIPaper

A Multi-start Algorithm with Iterated Decremental Local Search for Minimum Capacitated Dominating Set Problem in Large Graphs.CCF-NoneCombination & Optimization Problem

Shuli Hu, Shuang Zhou, Dian Ling, Jiaqi Li, Ruizhi Li, Yupeng Zhou, Minghao Yin†

Memetic Computing '2025

Volume 17, Issue 3, Pages 36

DOICode