2024
Heuristic Search with Cut Point Based Strategy for Critical Node Problem.
J. Comput. Sci. Technol., November, 2024
Learning driven three-phase search for the maximum independent union of cliques problem.
Comput. Oper. Res., 2024
2023
Towards more efficient local search algorithms for constrained clustering.
Inf. Sci., April, 2023
2022
A restart local search algorithm with relaxed configuration checking strategy for the minimum k-dominating set problem.
Knowl. Based Syst., 2022
A multi-objective optimization approach to package delivery by the crowd of occupied taxis.
Knowl. Inf. Syst., 2022
Improving Simulated Annealing for Clique Partitioning Problems.
J. Artif. Intell. Res., 2022
An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
MOOP4PD : A Multi-objective Optimization Approach for Package Delivery by the Crowd of Occupied Taxis.
Proceedings of the 2021 IEEE SmartWorld, 2021
2020
NuMWVC: A novel local search for minimum weighted vertex cover problem.
J. Oper. Res. Soc., 2020
Solving quantified constraint satisfaction problems with value selection rules.
Frontiers Comput. Sci., 2020
Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2019
Vertex Selection Heuristics in Branch-and-Bound Algorithms for the Maximum <i>k</i>-Plex Problem.
Int. J. Artif. Intell. Tools, 2019
A Multi-objective Optimization Algorithm Based on Monarch Butterfly Optimization.
Proceedings of the Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery - Proceedings of the 15th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2019), Kunming, China, July 20-22, 2019, 2019
2018
An efficient local search for partial vertex cover problem.
Neural Comput. Appl., 2018
Crowdsourced Web Application Testing Under Real-Time Constraints.
Int. J. Softw. Eng. Knowl. Eng., 2018
An adaptive large neighborhood search heuristic for dynamic vehicle routing problems.
Comput. Electr. Eng., 2018
Enhancing Bug Report Assignment with an Optimized Reduction of Training Set.
Proceedings of the Knowledge Science, Engineering and Management, 2018
An Exact Algorithm for Maximum k-Plexes in Massive Graphs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
A Modified Harmony Search Algorithm for Solving the Dynamic Vehicle Routing Problem with Time Windows.
Sci. Program., 2017
GRASP for connected dominating set problems.
Neural Comput. Appl., 2017
Diversified Top-k Partial MaxSAT Solving.
CoRR, 2017
A randomized diversification strategy for solving satisfiability problem with long clauses.
Sci. China Inf. Sci., 2017
A Monarch Butterfly Optimization for the Dynamic Vehicle Routing Problem.
Algorithms, 2017
The Broken-Triangle Property with Adjoint Values.
Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017
2016
An Information Entropy-Based Animal Migration Optimization Algorithm for Data Clustering.
Entropy, 2016
2015
Hidden State Conditional Random Field for Abnormal Activity Recognition in Smart Homes.
Entropy, 2015
Experimental analyses on phase transitions in compiling satisfiability problems.
Sci. China Inf. Sci., 2015
A hybrid strategy for community detection of complex networks.
Proceedings of the IEEE International Conference on Information and Automation, 2015
2013
Isolating and Understanding Program Errors Using Probabilistic Dispute Model.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
2012
A novel parallel hybrid intelligence optimization algorithm for a function approximation problem.
Comput. Math. Appl., 2012
2011
A hybrid genetic algorithm for the distributed permutation flowshop scheduling problem.
Int. J. Comput. Intell. Syst., 2011
Phase Transitions in Knowledge Compilation: An Experimental Study.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011