A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree. - Naiyu Tian; Dantong Ouyang; Fengyu Jia; Meng Liu; Liming Zhang 005 (IEEE Access, 2018)

A Local Search Approach for Batch Repair With Configuration Neighbor and Sub-Degree in Circuit System. - Meng Liu; Dantong Ouyang; Naiyu Tian; Hua Li (IEEE Access, 2020)

Core-guided method for constraint-based multi-objective combinatorial optimization. - Naiyu Tian; Dantong Ouyang; Yiyuan Wang 002; Yimou Hou; Liming Zhang 005 (Appl. Intell., 2021)

Model-based diagnosis with improved implicit hitting set dualization. - Huisi Zhou; Dantong Ouyang; Liming Zhang 005; Naiyu Tian (Appl. Intell., 2022)

DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans. - Luyu Jiang; Dantong Ouyang; Huisi Zhou; Naiyu Tian; Liming Zhang 005 (J. Supercomput., 2023)

An effective population-based approach for the partial set covering problem. - Ye Zhang 014; Jinlong He; Yupeng Zhou; Shuli Hu; Dunbo Cai; Naiyu Tian; Minghao Yin (J. Heuristics, 2025)