Liming Zhang

According to our database, Liming Zhang authored at least 24 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

DSLS: a simple and efficient local search algorithm for the maximum bisection problem.

Xinliang Tian, Dantong Ouyang, Huisi Zhou, Rui Sun, Liming Zhang

J. Heuristics, April, 2024

DeciLS-PBO: an effective local search method for pseudo-Boolean optimization.

Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang

Frontiers Comput. Sci., April, 2024

2023

DiagDO: an efficient model based diagnosis approach with multiple observations.

Huisi Zhou, Dantong Ouyang, Xinliang Tian, Liming Zhang

Frontiers Comput. Sci., December, 2023

ILSGVCP: An improved local search algorithm for generalized vertex cover problem.

Ran Tai, Dantong Ouyang, Ruizhi Li, Liming Zhang

J. Oper. Res. Soc., November, 2023

DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans.

Luyu Jiang, Dantong Ouyang, Huisi Zhou, Naiyu Tian, Liming Zhang

J. Supercomput., September, 2023

Combinatorial optimization and local search: A case study of the discount knapsack problem.

Xinliang Tian, Dantong Ouyang, Yiyuan Wang, Huisi Zhou, Luyu Jiang, Liming Zhang

Comput. Electr. Eng., January, 2023

An efficient power set mapping space blocking algorithm for sensor selection in uncertain systems with quantified diagnosability requirements.

Rui Sun, Dantong Ouyang, Xinliang Tian, Liming Zhang

Appl. Intell., 2023

2022

Two efficient local search algorithms for the vertex bisection minimization problem.

Xinliang Tian, Dantong Ouyang, Rui Sun, Huisi Zhou, Liming Zhang

Inf. Sci., 2022

Model-based diagnosis with improved implicit hitting set dualization.

Huisi Zhou, Dantong Ouyang, Liming Zhang, Naiyu Tian

Appl. Intell., 2022

Evolutionary many-objective satisfiability solver for configuring software product lines.

Yimou Hou, Dantong Ouyang, Xinliang Tian, Liming Zhang

Appl. Intell., 2022

Two Compacted Models for Efficient Model-Based Diagnosis.

Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis.

Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, Yanzhi Hou

IEEE Trans. Reliab., 2021

Core-guided method for constraint-based multi-objective combinatorial optimization.

Naiyu Tian, Dantong Ouyang, Yiyuan Wang, Yimou Hou, Liming Zhang

Appl. Intell., 2021

2018

A restart local search algorithm for solving maximum set k-covering problem.

Yiyuan Wang, Dantong Ouyang, Minghao Yin, Liming Zhang, Yonggang Zhang

Neural Comput. Appl., 2018

Efficient zonal diagnosis with maximum satisfiability.

Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang

Sci. China Inf. Sci., 2018

Computing all minimal hitting sets by subset recombination.

Xiangfu Zhao, Dantong Ouyang, Liming Zhang

Appl. Intell., 2018

A novel approach for improving quality of health state with difference degree in circuit diagnosis.

Meng Liu, Dantong Ouyang, Liming Zhang

Appl. Intell., 2018

A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree.

Naiyu Tian, Dantong Ouyang, Fengyu Jia, Meng Liu, Liming Zhang

IEEE Access, 2018

An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.

Ya Tao, Dantong Ouyang, Meng Liu, Liming Zhang

Proceedings of the Knowledge Science, Engineering and Management, 2018

2017

A novel local search algorithm with configuration checking and scoring mechanism for the set <i>k</i>-covering problem.

Yiyuan Wang, Minghao Yin, Dantong Ouyang, Liming Zhang

Int. Trans. Oper. Res., 2017

A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity.

Yiyuan Wang, Dantong Ouyang, Liming Zhang, Minghao Yin

Sci. China Inf. Sci., 2017

2015

Improved Algorithm of Unsatisfiability-based Maximum Satisfiability.

Yiyuan Wang, Dantong Ouyang, Liming Zhang

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

2012

Reasoning on partially-ordered observations in online diagnosis of DESs.

Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo

AI Commun., 2012

2011

Dynamic theorem proving algorithm for consistency-based diagnosis.

Liming Zhang, Hai-Lin Zeng, Fang Yang, Dantong Ouyang

Expert Syst. Appl., 2011