Liming Zhang

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 21

Top Topics

Software Product Line

Maximum Satisfiability

Search Algorithm

Top Venues

Sci. China Inf. Sci.

Int. Trans. Oper. Res.

Publications

Xinliang Tian, Dantong Ouyang, Huisi Zhou, Rui Sun, Liming Zhang
DSLS: a simple and efficient local search algorithm for the maximum bisection problem. J. Heuristics 30 (1-2) (2024)
Luyu Jiang, Dantong Ouyang, Huisi Zhou, Naiyu Tian, Liming Zhang
DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans. J. Supercomput. 79 (14) (2023)
Xinliang Tian, Dantong Ouyang, Yiyuan Wang, Huisi Zhou, Luyu Jiang, Liming Zhang
Combinatorial optimization and local search: A case study of the discount knapsack problem. Comput. Electr. Eng. 105 (2023)
Ran Tai, Dantong Ouyang, Ruizhi Li, Liming Zhang
ILSGVCP: An improved local search algorithm for generalized vertex cover problem. J. Oper. Res. Soc. 74 (11) (2023)
Huisi Zhou, Dantong Ouyang, Xinliang Tian, Liming Zhang
DiagDO: an efficient model based diagnosis approach with multiple observations. Frontiers Comput. Sci. 17 (6) (2023)
Rui Sun, Dantong Ouyang, Xinliang Tian, Liming Zhang
An efficient power set mapping space blocking algorithm for sensor selection in uncertain systems with quantified diagnosability requirements. Appl. Intell. 53 (3) (2023)
Yimou Hou, Dantong Ouyang, Xinliang Tian, Liming Zhang
Evolutionary many-objective satisfiability solver for configuring software product lines. Appl. Intell. 52 (9) (2022)
Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang
Two Compacted Models for Efficient Model-Based Diagnosis. AAAI (2022)
Huisi Zhou, Dantong Ouyang, Liming Zhang, Naiyu Tian
Model-based diagnosis with improved implicit hitting set dualization. Appl. Intell. 52 (2) (2022)
Xinliang Tian, Dantong Ouyang, Rui Sun, Huisi Zhou, Liming Zhang
Two efficient local search algorithms for the vertex bisection minimization problem. Inf. Sci. 609 (2022)
Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, Yanzhi Hou
TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. IEEE Trans. Reliab. 70 (4) (2021)
Naiyu Tian, Dantong Ouyang, Yiyuan Wang, Yimou Hou, Liming Zhang
Core-guided method for constraint-based multi-objective combinatorial optimization. Appl. Intell. 51 (6) (2021)
Naiyu Tian, Dantong Ouyang, Fengyu Jia, Meng Liu, Liming Zhang
A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree. IEEE Access 6 (2018)
Xiangfu Zhao, Dantong Ouyang, Liming Zhang
Computing all minimal hitting sets by subset recombination. Appl. Intell. 48 (2) (2018)
Ya Tao, Dantong Ouyang, Meng Liu, Liming Zhang
An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT. KSEM (2) (2018)
Meng Liu, Dantong Ouyang, Liming Zhang
A novel approach for improving quality of health state with difference degree in circuit diagnosis. Appl. Intell. 48 (11) (2018)
Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang
Efficient zonal diagnosis with maximum satisfiability. Sci. China Inf. Sci. 61 (11) (2018)
Yiyuan Wang, Dantong Ouyang, Minghao Yin, Liming Zhang, Yonggang Zhang
A restart local search algorithm for solving maximum set k-covering problem. Neural Comput. Appl. 29 (10) (2018)
Yiyuan Wang, Minghao Yin, Dantong Ouyang, Liming Zhang
-covering problem. Int. Trans. Oper. Res. 24 (6) (2017)
Yiyuan Wang, Dantong Ouyang, Liming Zhang, Minghao Yin
A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity. Sci. China Inf. Sci. 60 (6) (2017)
Yiyuan Wang, Dantong Ouyang, Liming Zhang
Improved Algorithm of Unsatisfiability-based Maximum Satisfiability. IWOST-1 (2015)
Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo
Reasoning on partially-ordered observations in online diagnosis of DESs. AI Commun. 25 (4) (2012)
Liming Zhang, Hai-Lin Zeng, Fang Yang, Dantong Ouyang
Dynamic theorem proving algorithm for consistency-based diagnosis. Expert Syst. Appl. 38 (6) (2011)