Improved Algorithm of Unsatisfiability-based Maximum Satisfiability. - Yiyuan Wang 002; Dantong Ouyang; Liming Zhang 005 (IWOST-1, 2015)

Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (AAAI, 2016)

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (IJCAI, 2017)

A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity. - Yiyuan Wang 002; Dantong Ouyang; Liming Zhang 005; Minghao Yin (Sci. China Inf. Sci., 2017)

A novel local search algorithm with configuration checking and scoring mechanism for the set k-covering problem. - Yiyuan Wang 002; Minghao Yin; Dantong Ouyang; Liming Zhang 005 (Int. Trans. Oper. Res., 2017)

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (J. Artif. Intell. Res., 2017)

GRASP for connected dominating set problems. - Ruizhi Li; Shuli Hu; Jian Gao 007; Yupeng Zhou; Yiyuan Wang 002; Minghao Yin (Neural Comput. Appl., 2017)

A local search algorithm with tabu strategy and perturbation mechanism for generalized vertex cover problem. - Ruizhi Li; Shuli Hu; Yiyuan Wang 002; Minghao Yin (Neural Comput. Appl., 2017)

A path cost-based GRASP for minimum independent dominating set problem. - Yiyuan Wang 002; Ruizhi Li; Yupeng Zhou; Minghao Yin (Neural Comput. Appl., 2017)

An Exact Algorithm for Maximum k-Plexes in Massive Graphs. - Jian Gao 007; Jiejiang Chen; Minghao Yin; Rong Chen 003; Yiyuan Wang 002 (IJCAI, 2018)

A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. - Yiyuan Wang 002; Shaowei Cai 001; Jiejiang Chen; Minghao Yin (IJCAI, 2018)

New heuristic approaches for maximum balanced biclique problem. - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (Inf. Sci., 2018)

A memetic algorithm for minimum independent dominating set problem. - Yiyuan Wang 002; Jiejiang Chen; Huanyao Sun; Minghao Yin (Neural Comput. Appl., 2018)

A restart local search algorithm for solving maximum set k-covering problem. - Yiyuan Wang 002; Dantong Ouyang; Minghao Yin; Liming Zhang 005; Yonggang Zhang (Neural Comput. Appl., 2018)

An efficient local search for partial vertex cover problem. - Yupeng Zhou; Yiyuan Wang 002; Jian Gao 007; Na Luo; Jianan Wang (Neural Comput. Appl., 2018)

An Improved Memetic Algorithm for the Partial Vertex Cover Problem. - Yupeng Zhou; Changze Qiu; Yiyuan Wang 002; Mingjie Fan; Minghao Yin (IEEE Access, 2019)

MLQCC: an improved local search algorithm for the set k-covering problem. - Yiyuan Wang 002; Chenxi Li; Huanyao Sun; Jiejiang Chen; Minghao Yin (Int. Trans. Oper. Res., 2019)

Reduction and Local Search for Weighted Graph Coloring Problem. - Yiyuan Wang 002; Shaowei Cai 001; Shiwei Pan; Ximing Li 002; Minghao Yin (AAAI, 2020)

Two-goal Local Search and Inference Rules for Minimum Dominating Set. - Shaowei Cai 001; Wenying Hou; Yiyuan Wang 002; Chuan Luo 002; Qingwei Lin (IJCAI, 2020)

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. - Bohan Li 002; Xindi Zhang; Shaowei Cai 001; Jinkun Lin; Yiyuan Wang 002; Christian Blum 001 (IJCAI, 2020)

SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem. - Yiyuan Wang 002; Shaowei Cai 001; Jiejiang Chen; Minghao Yin (Artif. Intell., 2020)

A two phase removing algorithm for minimum independent dominating set problem. - Yiyuan Wang 002; Chenxi Li; Minghao Yin (Appl. Soft Comput., 2020)

A local search algorithm with reinforcement learning based repair procedure for minimum weight independent dominating set. - Yiyuan Wang 002; Shiwei Pan; Chenxi Li; Minghao Yin (Inf. Sci., 2020)

NuMWVC: A novel local search for minimum weighted vertex cover problem. - Ruizhi Li; Shuli Hu; Shaowei Cai 001; Jian Gao 007; Yiyuan Wang 002; Minghao Yin (J. Oper. Res. Soc., 2020)

NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem. - Jiejiang Chen; Shaowei Cai 001; Shiwei Pan; Yiyuan Wang 002; Qingwei Lin; Mengyu Zhao; Minghao Yin (AAAI, 2021)

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. - Bohan Li 002; Kai Wang; Yiyuan Wang 002; Shaowei Cai 001 (CP, 2021)

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)

An improved configuration checking-based algorithm for the unicost set covering problem. - Yiyuan Wang 002; Shiwei Pan; Sameh Al-Shihabi; Junping Zhou; Nan Yang; Minghao Yin (Eur. J. Oper. Res., 2021)

A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. - Shaowei Cai 001; Jinkun Lin; Yiyuan Wang 002; Darren Strash (J. Artif. Intell. Res., 2021)

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. - Xindi Zhang; Bohan Li 002; Shaowei Cai 001; Yiyuan Wang 002 (J. Artif. Intell. Res., 2021)

An efficient local search for large-scale set-union knapsack problem. - Yupeng Zhou; Mengyu Zhao; Mingjie Fan; Yiyuan Wang 002; Jianan Wang (Data Technol. Appl., 2021)

NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem. - Jiejiang Chen; Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin; Yupeng Zhou; Jieyu Wu (AAAI, 2022)

A Fast Local Search Algorithm for the Latin Square Completion Problem. - Shiwei Pan; Yiyuan Wang 002; Minghao Yin (AAAI, 2022)

Combining max-min ant system with effective local search for solving the maximum set k-covering problem. - Yupeng Zhou; Xiaofan Liu; Shuli Hu; Yiyuan Wang 002; Minghao Yin (Knowl. Based Syst., 2022)

Learning with Partial Labels from Semi-supervised Perspective. - Ximing Li 002; Yuanzhi Jiang; Changchun Li; Yiyuan Wang 002; Jihong Ouyang (AAAI, 2023)

Unsupervised Aspect Term Extraction by Integrating Sentence-level Curriculum Learning with Token-level Self-paced Learning. - Jihong Ouyang; Zhiyao Yang; Chang Xuan; Bing Wang 018; Yiyuan Wang 002; Ximing Li 002 (CIKM, 2023)

Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. - Wenbo Zhou; Yujiao Zhao; Yiyuan Wang 002; Shaowei Cai 001; Shimao Wang; Xinyu Wang; Minghao Yin (CP, 2023)

PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem. - Yiyuan Wang 002; Chenghou Jin; Shaowei Cai 001; Qingwei Lin (IJCAI, 2023)

Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. - Jiejiang Chen; Shaowei Cai 001; Yiyuan Wang 002; Wenhao Xu; Jia Ji; Minghao Yin (Artif. Intell., 2023)

A master-apprentice evolutionary algorithm for maximum weighted set K-covering problem. - Yupeng Zhou; Mingjie Fan; Xiaofan Liu; Xin Xu; Yiyuan Wang 002; Minghao Yin (Appl. Intell., 2023)

Combinatorial optimization and local search: A case study of the discount knapsack problem. - Xinliang Tian; Dantong Ouyang; Yiyuan Wang 002; Huisi Zhou; Luyu Jiang; Liming Zhang 005 (Comput. Electr. Eng., 2023)

An efficient local search algorithm for minimum positive influence dominating set problem. - Rui Sun; Jieyu Wu; Chenghou Jin; Yiyuan Wang 002; Wenbo Zhou; Minghao Yin (Comput. Oper. Res., 2023)

An improved master-apprentice evolutionary algorithm for minimum independent dominating set problem. - Shiwei Pan; Yiming Ma; Yiyuan Wang 002; Zhiguo Zhou; Jinchao Ji; Minghao Yin; Shuli Hu (Frontiers Comput. Sci., 2023)

Nukplex: An Efficient Local Search Algorithm for Maximum K-Plex Problem. - Rui Sun; Yiyuan Wang 002; Shimao Wang; Hui Li 014; Ximing Li 002; Minghao Yin (IJCAI, 2024)

PathLAD+: Towards effective exact methods for subgraph isomorphism problem. - Yiyuan Wang 002; Chenghou Jin; Shaowei Cai 001 (Artif. Intell., 2024)

A fast local search algorithm for minimum sum coloring problem on massive graphs. - Yan Li; Mengyu Zhao; Xindi Zhang; Yiyuan Wang 002 (Comput. Oper. Res., 2024)

A local search algorithm with movement gap and adaptive configuration checking for the maximum weighted s-plex problem. - Ruizhi Li; Ruiqi Xu; Fangzhou Wang; Shuli Hu; Yiyuan Wang 002; Minghao Yin; Hui Li 014 (Eng. Appl. Artif. Intell., 2024)

Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design. - Wenbo Zhou; Yujiao Zhao; Ye Zhang 014; Liwen Mu; Yiyuan Wang 002; Minghao Yin (PeerJ Comput. Sci., 2024)

Towards more efficient local search for weighted graph coloring problem in massive graphs. - Shiwei Pan; Yujiao Zhao; Jiangnan Li; Yiyuan Wang 002; Ye Zhang 014; Wenbo Zhou; Minghao Yin (Comput. Oper. Res., 2025)

Improving Local Search Algorithm for Pseudo Boolean Optimization. - Yujiao Zhao; Yiyuan Wang 002; Yi Chu; Wenbo Zhou; Shaowei Cai 001; Minghao Yin (J. Artif. Intell. Res., 2025)

A comprehensive survey of UPPAAL-assisted formal modeling and verification. - Wenbo Zhou; Yujiao Zhao; Ye Zhang 014; Yiyuan Wang 002; Minghao Yin (Softw. Pract. Exp., 2025)

Improving local search algorithms for clique relaxation problems via group driven initialization. - Rui Sun; Yiyuan Wang 002; Minghao Yin (Frontiers Comput. Sci., 2025)